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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GastroIntestinalTract

 Sigma KEE - GastroIntestinalTract
GastroIntestinalTract(GI)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12051-12052
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12050-12050 GI is a subclass of animal anatomical structure

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12054-12054
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12053-12053
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12057-12057 A esophagus is typically a part of a GI
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12059-12059 A intestine is typically a part of a GI
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12056-12056 A mouth is typically a part of a GI
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12060-12060 A rectum is typically a part of a GI
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12058-12058 A stomach is typically a part of a GI

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 2282-2287
No TPTP formula. May not be expressible in strict first order. 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