|
|
   AutoimmuneVasculitis
|
|
|
| appearance as argument number 1 |
|
|
| (documentation AutoimmuneVasculitis EnglishLanguage "An AutoImmuneDisorder that affects the BloodVessels.") | Medicine.kif 2414-2415 | |
| (subclass AutoimmuneVasculitis AutoImmuneDisorder) | Medicine.kif 2413-2413 | AutoimmuneVasculitis は AutoImmuneDisorder の subclass では %n |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AutoimmuneVasculitis "autoimmune vasculitis") | Medicine.kif 2416-2416 |
| antecedent |
|
|
| (=> (and (instance ?SS AutoimmuneVasculitis) (experiencer ?SS ?H)) (attribute ?H (ImpairedBodyPartFn BloodVessel))) |
Medicine.kif 2418-2423 |
|
| (=> (and (instance ?SS AutoimmuneVasculitis) (experiencer ?SS ?H)) (exists (?B ?I) (and (instance ?B BloodVessel) (part ?B ?H) (instance ?I Inflammation) (patient ?I ?B)))) |
Medicine.kif 2425-2434 |
|
|
|
|