| 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 | Ulcerative colitis is a subclass of inflammatory bowel disease |
| 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