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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RightTalusBone
RightTalusBone(right talus bone)

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


(connectedBodyPartTypes RightTalusBone RightFibulaBone Human) Anatomy.kif 1169-1169 connected body parts right talus bone, RightFibulaBone and human
(connectedBodyPartTypes RightTalusBone RightTibiaBone Human) Anatomy.kif 1170-1170 connected body parts right talus bone, RightTibiaBone and human
(documentation RightTalusBone EnglishLanguage "right talus bone") Anatomy.kif 1167-1167 connected body parts right talus bone, RightTibiaBone and human
(subclass RightTalusBone TalusBone) Anatomy.kif 1165-1165 Right talus bone is a subclass of talus bone

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


(termFormat EnglishLanguage RightTalusBone "right talus bone") Anatomy.kif 1166-1166


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