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 |
|