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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LeftFemur
LeftFemur

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


(documentation LeftFemur EnglishLanguage "left femur") Anatomy.kif 1044-1044
(subclass LeftFemur Femur) Anatomy.kif 1042-1042 子類 LeftFemur and Femur

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


(connectedBodyPartTypes LeftOssaCoxae LeftFemur Human) Anatomy.kif 1010-1010 connectedBodyPartTypes LeftOssaCoxae, LeftFemur and Human
(connectedBodyPartTypes LeftPatella LeftFemur Human) Anatomy.kif 1075-1075 connectedBodyPartTypes LeftPatella, LeftFemur and Human
(connectedBodyPartTypes LeftTibia LeftFemur Human) Anatomy.kif 1046-1046 connectedBodyPartTypes LeftTibia, LeftFemur and Human
(termFormat EnglishLanguage LeftFemur "left femur") Anatomy.kif 1043-1043


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