GastroIntestinalTract(GI) |
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 12079-12080 | |
(subclass GastroIntestinalTract AnimalAnatomicalStructure) | Mid-level-ontology.kif 12078-12078 | GI is a subclass of animal anatomical structure |
appearance as argument number 2 |
(termFormat EnglishLanguage GastroIntestinalTract "GI") | Mid-level-ontology.kif 12082-12082 | |
(termFormat EnglishLanguage GastroIntestinalTract "gastro-intestinal tract") | Mid-level-ontology.kif 12081-12081 | |
(typicalPart Esophagus GastroIntestinalTract) | Mid-level-ontology.kif 12085-12085 | A esophagus is typically a part of a GI |
(typicalPart Intestine GastroIntestinalTract) | Mid-level-ontology.kif 12087-12087 | A intestine is typically a part of a GI |
(typicalPart Mouth GastroIntestinalTract) | Mid-level-ontology.kif 12084-12084 | A mouth is typically a part of a GI |
(typicalPart Rectum GastroIntestinalTract) | Mid-level-ontology.kif 12088-12088 | A rectum is typically a part of a GI |
(typicalPart Stomach GastroIntestinalTract) | Mid-level-ontology.kif 12086-12086 | 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 |
|