Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   AutoImmuneDisorder
|
|
|
| appearance as argument number 1 |
|
|
| (subclass AutoImmuneDisorder PathologicProcess) | Medicine.kif 2200-2200 | Auto-immune disease is a subclass of pathologic process |
| (documentation AutoImmuneDisorder EnglishLanguage "A condition in which the immune system attacks healthy parts of the body in error.") | Medicine.kif 2201-2202 | Auto-immune disease is a subclass of pathologic process |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?AI AutoImmuneDisorder) (experiencer ?AI ?H)) (exists (?A ?D ?C) (and (instance ?A Antibody) (part ?A ?H) (instance ?C Cell) (part ?C ?H) (instance ?D Destruction) (instrument ?D ?A) (not (desires ?H (and (instance ?D Destruction) (instrument ?D ?A))))))) |
Medicine.kif 2206-2222 | If X is an instance of auto-immune disease and Y experiences X, then there exist Z, W and V such that Z is an instance of antibody and Z is a part of Y and V is an instance of cell and V is a part of Y and W is an instance of destruction and Z is an instrument for W and Y doesn't desire ~{ W is an instance of destruction } or ~{ Z is an instrument for W } |
| consequent |
|
|
| (=> (attribute ?H DiabetesType1) (exists (?A) (and (instance ?A AutoImmuneDisorder) (experiencer ?A ?H)))) |
Medicine.kif 2154-2159 | If juvenile diabetes is an attribute of X, then there exists Y such that Y is an instance of auto-immune disease and X experiences Y |
| (=> (subclass ?I Immunosuppressive) (hasPurpose ?I (and (instance ?AID AutoImmuneDisorder) (diseaseMedicine ?AID ?I ?P)))) |
Medicine.kif 4635-4640 | If X is a subclass of immunosuppressant, then X has the purpose Y is an instance of auto-immune disease and Y is disease treatment X for Z |
|