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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LeftFemur
LeftFemur(left femur)

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


(documentation LeftFemur EnglishLanguage "left femur") Anatomy.kif 1044-1044
(subclass LeftFemur Femur) Anatomy.kif 1042-1042 Left femur is a subclass of FEMUR

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


(connectedBodyPartTypes LeftOssaCoxae LeftFemur Human) Anatomy.kif 1010-1010 connectedBodyPartTypes left ossa coxae, left femur and human
(connectedBodyPartTypes LeftPatella LeftFemur Human) Anatomy.kif 1075-1075 connectedBodyPartTypes left patella, left femur and human
(connectedBodyPartTypes LeftTibia LeftFemur Human) Anatomy.kif 1046-1046 connectedBodyPartTypes left tibia, left femur 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