AutoImmuneDisorder
|
|
appearance as argument number 1 |
(documentation AutoImmuneDisorder EnglishLanguage "A condition in which the immune system attacks healthy parts of the body in error.") | Medicine.kif 2195-2196 | |
(subclass AutoImmuneDisorder PathologicProcess) | Medicine.kif 2194-2194 | AutoImmuneDisorder は 病理学的プロセス の subclass では %n |
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 2200-2216 |
|
consequent |
(=> (attribute ?H DiabetesType1) (exists (?A) (and (instance ?A AutoImmuneDisorder) (experiencer ?A ?H)))) |
Medicine.kif 2149-2154 |
|
(=> (subclass ?I Immunosuppressive) (hasPurpose ?I (and (instance ?AID AutoImmuneDisorder) (diseaseMedicine ?AID ?I ?P)))) |
Medicine.kif 4614-4619 |
|