Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   GravesDisease
|
|
|
| appearance as argument number 1 |
|
|
| (subclass GravesDisease AutoImmuneDisorder) | Medicine.kif 2329-2329 | Graves' disease is a subclass of auto-immune disease |
| (documentation GravesDisease EnglishLanguage "An AutoImmuneDisorder that affects the Thyroid, causing it to produce too much of its hormones.") | Medicine.kif 2330-2332 | Graves' disease is a subclass of auto-immune disease |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage GravesDisease "Graves' disease") | Medicine.kif 2333-2333 |
| antecedent |
|
|
| (=> (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 GravesDisease) (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 ?N1 ?N2)) |
Medicine.kif 2342-2357 | If All of the following hold: (1) X is an instance of Graves' disease (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 W is greater than S |
|