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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SabiaVirus

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 InflammatoryBowelDisease ist eine teilkategorie von AutoImmuneDisorder

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


(subclass CrohnsDisease InflammatoryBowelDisease) Medicine.kif 2289-2289 CrohnsDisease ist eine teilkategorie von InflammatoryBowelDisease
(subclass UlcerativeColitis InflammatoryBowelDisease) Medicine.kif 2295-2295 UlcerativeColitis ist eine teilkategorie von InflammatoryBowelDisease
(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