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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GastroIntestinalTract

Sigma KEE - GastroIntestinalTract
GastroIntestinalTract

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 12052-12053
(subclass GastroIntestinalTract AnimalAnatomicalStructure) Mid-level-ontology.kif 12051-12051 GastroIntestinalTract est une sous-classe de AnimalAnatomicalStructure

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


(termFormat EnglishLanguage GastroIntestinalTract "GI") Mid-level-ontology.kif 12055-12055
(termFormat EnglishLanguage GastroIntestinalTract "gastro-intestinal tract") Mid-level-ontology.kif 12054-12054
(typicalPart Esophagus GastroIntestinalTract) Mid-level-ontology.kif 12058-12058 typicalPart Esophagus and GastroIntestinalTract
(typicalPart Intestine GastroIntestinalTract) Mid-level-ontology.kif 12060-12060 typicalPart Intestine and GastroIntestinalTract
(typicalPart Mouth GastroIntestinalTract) Mid-level-ontology.kif 12057-12057 typicalPart Mouth and GastroIntestinalTract
(typicalPart Rectum GastroIntestinalTract) Mid-level-ontology.kif 12061-12061 typicalPart Rectum and GastroIntestinalTract
(typicalPart Stomach GastroIntestinalTract) Mid-level-ontology.kif 12059-12059 typicalPart Stomach and GastroIntestinalTract

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 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