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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BodyCavity

 Sigma KEE - BodyCavity
BodyCavity

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3514-3515
No TPTP formula. May not be expressible in strict first order. Merge.kif 15099-15100
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1049-1049
No TPTP formula. May not be expressible in strict first order. Merge.kif 15098-15098 BodyCavity est une sous-classe de partie du corps

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


No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1558-1558 AuditoryCanal est une sous-classe de BodyCavity
No TPTP formula. May not be expressible in strict first order. Merge.kif 15102-15102 Veine est une sous-classe de BodyCavity
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1502-1502 EustachianTube est une sous-classe de BodyCavity
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1594-1594 InnerEar est une sous-classe de BodyCavity
No TPTP formula. May not be expressible in strict first order. Medicine.kif 269-269 LeftAtrium est une sous-classe de BodyCavity
No TPTP formula. May not be expressible in strict first order. Medicine.kif 285-285 LeftVentricle est une sous-classe de BodyCavity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6077-6077 NasalCavity est une sous-classe de BodyCavity
No TPTP formula. May not be expressible in strict first order. Medicine.kif 301-301 RightAtrium est une sous-classe de BodyCavity
No TPTP formula. May not be expressible in strict first order. Medicine.kif 317-317 RightVentricle est une sous-classe de BodyCavity
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1585-1585 TympanicCavity est une sous-classe de BodyCavity
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1535-1535 Urethra est une sous-classe de BodyCavity
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11471-11471
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11470-11470
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11469-11469


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