antecedent

(=>     (and         (attribute ?H ?D)         (diseaseTreatment ?D ?P)         (instance ?TP TherpeuticProcess)         (agent ?TP ?DOC)         (patient ?TP ?H)         (attribute ?DOC MedicalDoctor))     (modalAttribute         (instance ?TP ?P) Possibility))

Medicine.kif 5850-5860

If All of the following hold: (1) X is an attribute of Y (2) Z is a treatment for X (3) W is an instance of TherpeuticProcess (4) V is an agent of W (5) Y is a patient of W (6) medical doctor is an attribute of V, then the statement W is an instance of Z has the modal force of possibility

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

---

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