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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InflammatoryBowelDisease

Sigma KEE - InflammatoryBowelDisease
InflammatoryBowelDisease(inflammatory bowel disease)

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 Inflammatory bowel disease is a subclass of auto-immune disease

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


(subclass CrohnsDisease InflammatoryBowelDisease) Medicine.kif 2289-2289 Crohn's disease is a subclass of inflammatory bowel disease
(subclass UlcerativeColitis InflammatoryBowelDisease) Medicine.kif 2295-2295 Ulcerative colitis is a subclass of inflammatory bowel disease
(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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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