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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GastroIntestinalTract
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


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