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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LeftOssaCoxae
LeftOssaCoxae

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


(connectedBodyPartTypes LeftOssaCoxae LeftFemur Human) Anatomy.kif 1010-1010
(connectedBodyPartTypes LeftOssaCoxae Sacrum Human) Anatomy.kif 1021-1021
(documentation LeftOssaCoxae EnglishLanguage "left ossa coxae") Anatomy.kif 1008-1008
(subclass LeftOssaCoxae PelvicBone) Anatomy.kif 1006-1006

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


(termFormat EnglishLanguage LeftOssaCoxae "left ossa coxae") Anatomy.kif 1007-1007


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