Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   ThyroidGland
|
|
|
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| 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 |
|
