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 est une sous-classe de Femur

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


(connectedBodyPartTypes LeftOssaCoxae LeftFemur Human) Anatomy.kif 1010-1010 connectedBodyPartTypes LeftOssaCoxae, LeftFemur and humain
(connectedBodyPartTypes LeftPatella LeftFemur Human) Anatomy.kif 1075-1075 connectedBodyPartTypes LeftPatella, LeftFemur and humain
(connectedBodyPartTypes LeftTibia LeftFemur Human) Anatomy.kif 1046-1046 connectedBodyPartTypes LeftTibia, LeftFemur and humain
(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