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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LeftOssaCoxae

Sigma KEE - LeftOssaCoxae
LeftOssaCoxae

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


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

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


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


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