Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Entity

 Sigma KEE - GastroIntestinalTract
GastroIntestinalTract(GI)

appearance as argument number 1
-------------------------


(subclass GastroIntestinalTract AnimalAnatomicalStructure) Mid-level-ontology.kif 13558-13558 GI is a subclass of animal anatomical structure
(documentation GastroIntestinalTract EnglishLanguage "The digestive path of an Animal, consisting of the Mouth, Esophagus, Stomach, Intestines and Rectum.") Mid-level-ontology.kif 13559-13560 GI is a subclass of animal anatomical structure

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


(termFormat EnglishLanguage GastroIntestinalTract "gastro-intestinal tract") Mid-level-ontology.kif 13561-13561
(termFormat EnglishLanguage GastroIntestinalTract "GI") Mid-level-ontology.kif 13562-13562
(typicalPart Mouth GastroIntestinalTract) Mid-level-ontology.kif 13564-13564 A mouth is typically a part of a GI
(typicalPart Esophagus GastroIntestinalTract) Mid-level-ontology.kif 13565-13565 A esophagus is typically a part of a GI
(typicalPart Stomach GastroIntestinalTract) Mid-level-ontology.kif 13566-13566 A stomach is typically a part of a GI
(typicalPart Intestine GastroIntestinalTract) Mid-level-ontology.kif 13567-13567 A intestine is typically a part of a GI
(typicalPart Rectum GastroIntestinalTract) Mid-level-ontology.kif 13568-13568 A rectum is typically a part of a GI

consequent
-------------------------


(=>
    (and
        (instance ?IBD InflammatoryBowelDisease)
        (experiencer ?IBD ?H))
    (attribute ?H
        (ImpairedBodyPartFn GastroIntestinalTract)))		 Medicine.kif 2288-2293 If X is an instance of inflammatory bowel disease and Y experiences X, then impaired body part fn GI is an attribute of Y
(=>
    (instance ?F FaecalibacteriumPrausnitzii)
    (modalAttribute
        (exists (?H ?G)
            (and
                (instance ?H Human)
                (instance ?G GastroIntestinalTract)
                (part ?G ?H)
                (located ?F ?G))) Likely))		 Medicine.kif 5307-5316 If X is an instance of faecalibacterium prausnitzii, then the statement there exist Y, Z such that Y is an instance of human, Z is an instance of GI, Z is a part of Y, and X is located at Z has the modal force of likely


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners