consequent

(=>     (and         (instance ?P CeliacDisease)         (experiencer ?P ?H1)         (instance ?SI SmallIntestine)         (part ?SI ?H1))     (modalAttribute         (exists (?D)             (and                 (instance ?D Diarrhoea)                 (experiencer ?D ?H1)                 (causes ?P ?D))) Likely))

Medicine.kif 2744-2756

If X is an instance of coeliac disease, Y experiences X, Z is an instance of small intestine, and Z is a part of Y, then the statement there exists W such that W is an instance of Diarrhoea, Y experiences W, and X causes W has the modal force of likely

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