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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 子類 體腔 and BodyPart

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


No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1558-1558 子類 AuditoryCanal and 體腔
No TPTP formula. May not be expressible in strict first order. Merge.kif 15102-15102 子類 BodyVessel and 體腔
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1502-1502 子類 EustachianTube and 體腔
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1594-1594 子類 InnerEar and 體腔
No TPTP formula. May not be expressible in strict first order. Medicine.kif 269-269 子類 LeftAtrium and 體腔
No TPTP formula. May not be expressible in strict first order. Medicine.kif 285-285 子類 LeftVentricle and 體腔
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6077-6077 子類 NasalCavity and 體腔
No TPTP formula. May not be expressible in strict first order. Medicine.kif 301-301 子類 RightAtrium and 體腔
No TPTP formula. May not be expressible in strict first order. Medicine.kif 317-317 子類 RightVentricle and 體腔
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1585-1585 子類 TympanicCavity and 體腔
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1535-1535 子類 Urethra and 體腔
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 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