consequent

(=>     (attribute ?H Bulimia)     (exists (?E ?P)         (and             (instance ?E Eating)             (or                 (instance ?P Vomiting)                 (instance ?P Defecating))             (agent ?P ?H)             (wants ?H ?P)             (earlier                 (WhenFn ?E)                 (WhenFn ?P)))))

Medicine.kif 5031-5043

If bulimia nervosa is an attribute of X, then there exist Y, Z such that Y is an instance of eating, Z is an instance of vomiting or Z is an instance of Defecating, X is an agent of Z, X wants Z, and the time of existence of Y happens earlier than the time of existence of Z

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