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 15121-15122
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 15120-15120 子類 體腔 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 15124-15124 子類 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 6076-6076 子類 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