remove superfluous variable

ontologyportal · Jan 7, 2025 · 1de6a54 · 1de6a54
1 parent b2a5e1a
commit 1de6a54
Showing 1 changed file with 2 additions and 5 deletions.
diff --git a/Medicine.kif b/Medicine.kif
@@ -1077,7 +1077,7 @@ or other medical therapy such as &%Blood products or &%Electrolytes to correct e
 
 (=>
   (instance ?IVT IVTherapy)
-  (exists (?P ?V ?T)
+  (exists (?V ?T)
     (and
       (instance ?T IVLine)
       (path ?IVT ?T)
@@ -6185,10 +6185,7 @@ duration of its effect is 3–7 hours.[from Wikipedia]")
 
 (=>
   (instance ?O Opium)
-  (exists (?M)
-    (and
-      (instance ?M Morphine)
-      (material ?M ?O))))
+  (material Morphine ?O))
 
 (subclass Fentanyl BiologicallyActiveSubstance)
 (subclass Morphine Medicine)