consequent

(=>     (instance ?N Needle)     (hasPurpose ?N         (exists (?H ?TP ?F ?RI)             (and                 (instance ?H Animal)                 (instance ?TP TherapeuticProcss)                 (attribute ?F Fluid)                 (patient ?TP ?H)                 (instrument ?TP ?N)                 (or                     (instance ?RI Removing)                     (instance ?RI Inserting))                 (subProcess ?RI ?TP)                 (objectTransferred ?RI ?F)))))

Medicine.kif 904-918

If X is an instance of needle, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of animal (3) Z is an instance of TherapeuticProcss (4) fluid is an attribute of W (5) Y is a patient of Z (6) X is an instrument for Z (7) V is an instance of removing or V is an instance of inserting (8) V is a subprocess of Z (9) the object transferred in V is W

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

---

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners