antecedent

(=>     (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
(=>     (and         (instance ?IBD HashimotosThyroiditis)         (experiencer ?IBD ?H1)         (instance ?H1 Human)         (instance ?T1 ThyroidHormone)         (part ?T1 ?H1)         (measure ?T1             (MeasureFn ?N1 ?U))         (instance ?H2 Human)         (instance ?T2 ThyroidHormone)         (part ?T2 ?H2)         (measure ?T2             (MeasureFn ?N2 ?U))         (attribute ?H2 Healthy))     (greaterThan ?N2 ?N1))	Medicine.kif 2388-2403	If All of the following hold: (1) X is an instance of Hashimoto's thyroiditis (2) Y experiences X (3) Y is an instance of human (4) Z is an instance of thyroid hormone (5) Z is a part of Y (6) the measure of Z is W V(s) (7) U is an instance of human (8) T is an instance of thyroid hormone (9) T is a part of U (10) the measure of T is S V(s) (11) healthy is an attribute of U, then S is greater than 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