Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InflammatoryBowelDisease
InflammatoryBowelDisease

appearance as argument number 1
-------------------------


(documentation InflammatoryBowelDisease EnglishLanguage "An AutoImmuneDisorder that affects the gastrointestinal tract. It primarily inflames the lining of the intestinal wall.") Medicine.kif 2277-2279
(subclass InflammatoryBowelDisease AutoImmuneDisorder) Medicine.kif 2276-2276 InflammatoryBowelDiseaseAutoImmuneDisordersubclass では %n

appearance as argument number 2
-------------------------


(subclass CrohnsDisease InflammatoryBowelDisease) Medicine.kif 2289-2289 CrohnsDiseaseInflammatoryBowelDiseasesubclass では %n
(subclass UlcerativeColitis InflammatoryBowelDisease) Medicine.kif 2295-2295 UlcerativeColitisInflammatoryBowelDiseasesubclass では %n
(termFormat EnglishLanguage InflammatoryBowelDisease "inflammatory bowel disease") Medicine.kif 2280-2280

antecedent
-------------------------


(=>
    (and
        (instance ?IBD InflammatoryBowelDisease)
        (experiencer ?IBD ?H))
    (attribute ?H
        (ImpairedBodyPartFn GastroIntestinalTract)))
Medicine.kif 2282-2287


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