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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LeftTalusBone
LeftTalusBone(left talus bone)

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


(connectedBodyPartTypes LeftTalusBone LeftFibula Human) Anatomy.kif 1132-1132 connectedBodyPartTypes left talus bone, left fibula and human
(connectedBodyPartTypes LeftTalusBone LeftTibia Human) Anatomy.kif 1133-1133 connectedBodyPartTypes left talus bone, left tibia and human
(documentation LeftTalusBone EnglishLanguage "left talus bone") Anatomy.kif 1130-1130
(subclass LeftTalusBone TalusBone) Anatomy.kif 1128-1128 Left talus bone is a subclass of talus bone

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


(termFormat EnglishLanguage LeftTalusBone "left talus bone") Anatomy.kif 1129-1129


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