| 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 | Autoimmune vasculitis is a subclass of auto-immune disease |
| 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 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners