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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LeftProximalFootPhalanxIIIBone
LeftProximalFootPhalanxIIIBone

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


(connectedBodyPartTypes LeftProximalFootPhalanxIIIBone LeftMetatarsal1IIBone Human) Anatomy.kif 1314-1314
(documentation LeftProximalFootPhalanxIIIBone EnglishLanguage "left proximal foot phalanx III bone") Anatomy.kif 1312-1312
(subclass LeftProximalFootPhalanxIIIBone ToeBone) Anatomy.kif 1310-1310

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


(connectedBodyPartTypes LeftIntermediateCuniformBone LeftProximalFootPhalanxIIIBone Human) Anatomy.kif 1181-1181
(connectedBodyPartTypes LeftIntermediateFootPhalanxIIIBone LeftProximalFootPhalanxIIIBone Human) Anatomy.kif 1356-1356
(connectedBodyPartTypes LeftLateralCuniformBone LeftProximalFootPhalanxIIIBone Human) Anatomy.kif 1198-1198
(termFormat EnglishLanguage LeftProximalFootPhalanxIIIBone "left proximal foot phalanx III bone") Anatomy.kif 1311-1311


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