| appearance as argument number 1 |
|
| (documentation GastroIntestinalTract EnglishLanguage "The digestive path of an Animal, consisting of the Mouth, Esophagus, Stomach, Intestines and Rectum.") | Mid-level-ontology.kif 12270-12271 | |
| (subclass GastroIntestinalTract AnimalAnatomicalStructure) | Mid-level-ontology.kif 12269-12269 | GI is a subclass of animal anatomical structure |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage GastroIntestinalTract "GI") | Mid-level-ontology.kif 12273-12273 | |
| (termFormat EnglishLanguage GastroIntestinalTract "gastro-intestinal tract") | Mid-level-ontology.kif 12272-12272 | |
| (typicalPart Esophagus GastroIntestinalTract) | Mid-level-ontology.kif 12276-12276 | A esophagus is typically a part of a GI |
| (typicalPart Intestine GastroIntestinalTract) | Mid-level-ontology.kif 12278-12278 | A intestine is typically a part of a GI |
| (typicalPart Mouth GastroIntestinalTract) | Mid-level-ontology.kif 12275-12275 | A mouth is typically a part of a GI |
| (typicalPart Rectum GastroIntestinalTract) | Mid-level-ontology.kif 12279-12279 | A rectum is typically a part of a GI |
| (typicalPart Stomach GastroIntestinalTract) | Mid-level-ontology.kif 12277-12277 | A stomach is typically a part of a GI |
| consequent |
|
|
| (=> (and (instance ?IBD InflammatoryBowelDisease) (experiencer ?IBD ?H)) (attribute ?H (ImpairedBodyPartFn GastroIntestinalTract))) |
Medicine.kif 2282-2287 |
|
| (=> (instance ?F FaecalibacteriumPrausnitzii) (modalAttribute (exists (?H ?G) (and (instance ?H Human) (instance ?G GastroIntestinalTract) (part ?G ?H) (located ?F ?G))) Likely)) |
Medicine.kif 5285-5294 |
|
|
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