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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LeftTalusBone
LeftTalusBone

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


(connectedBodyPartTypes LeftTalusBone LeftFibula Human) Anatomy.kif 1132-1132 connectedBodyPartTypes LeftTalusBone, LeftFibula and 人[人間]
(connectedBodyPartTypes LeftTalusBone LeftTibia Human) Anatomy.kif 1133-1133 connectedBodyPartTypes LeftTalusBone, LeftTibia and 人[人間]
(documentation LeftTalusBone EnglishLanguage "left talus bone") Anatomy.kif 1130-1130
(subclass LeftTalusBone TalusBone) Anatomy.kif 1128-1128 LeftTalusBoneTalusBonesubclass では %n

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