consequent

(=>     (attribute ?H Goiter)     (exists (?G ?P)         (and             (instance ?G ThyroidGland)             (part ?G ?H)             (instance ?P PathologicProcess)             (eventLocated ?P ?G))))	Mid-level-ontology.kif 7294-7301	If a goiter is an attribute of X, then there exist Y, Z such that Y is an instance of thyroid gland, Y is a part of X, Z is an instance of pathologic process, and Z is located at Y
(=>     (and         (instance ?IBD GravesDisease)         (experiencer ?IBD ?H))     (attribute ?H         (ImpairedBodyPartFn ThyroidGland)))	Medicine.kif 2335-2340	If X is an instance of Graves' disease and Y experiences X, then impaired body part fn thyroid gland is an attribute of Y
(=>     (and         (instance ?IBD HashimotosThyroiditis)         (experiencer ?IBD ?H))     (attribute ?H         (ImpairedBodyPartFn ThyroidGland)))	Medicine.kif 2381-2386	If X is an instance of Hashimoto's thyroiditis and Y experiences X, then impaired body part fn thyroid gland is an attribute of Y

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