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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - BodyCavity

appearance as argument number 1

(documentation BodyCavity ChineseLanguage "这是任何含有未填空间的 BodyPart,例如: BodyVessel、心脏的心房和心室、肺部等等。") chinese_format.kif 3514-3515
(documentation BodyCavity EnglishLanguage "Any BodyPart which contains an unfilled space, e.g. BodyVessels, the atria and ventricles of the heart, the lungs, etc.") Merge.kif 14060-14061
(externalImage BodyCavity " 6/ 65/ Illu_body_cavities.jpg") pictureList.kif 1050-1050
(subclass BodyCavity BodyPart) Merge.kif 14059-14059

appearance as argument number 2

(subclass BodyVessel BodyCavity) Merge.kif 14063-14063
(termFormat ChineseLanguage BodyCavity "体腔") domainEnglishFormat.kif 11474-11474
(termFormat ChineseTraditionalLanguage BodyCavity "體腔") domainEnglishFormat.kif 11473-11473
(termFormat EnglishLanguage BodyCavity "body cavity") domainEnglishFormat.kif 11472-11472

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