Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AutoimmuneVasculitis(autoimmune vasculitis) |
| appearance as argument number 1 |
|
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AutoimmuneVasculitis "autoimmune vasculitis") | Medicine.kif 2422-2422 |
| antecedent |
|
|
| (=> (and (instance ?SS AutoimmuneVasculitis) (experiencer ?SS ?H)) (attribute ?H (ImpairedBodyPartFn BloodVessel))) |
Medicine.kif 2424-2429 | If X is an instance of autoimmune vasculitis and Y experiences X, then impaired body part fn blood vessel is an attribute of Y |
| (=> (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 2431-2440 | If X is an instance of autoimmune vasculitis and Y experiences X, then there exist Z, W such that Z is an instance of blood vessel, Z is a part of Y, W is an instance of inflammation, and Z is a patient of W |
|