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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LeftProximalFootPhalanxIBone
LeftProximalFootPhalanxIBone(left proximal foot phalanx I bone)

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


(connectedBodyPartTypes LeftProximalFootPhalanxIBone LeftMetatarsal1Bone Human) Anatomy.kif 1293-1293 connectedBodyPartTypes left proximal foot phalanx I bone, left metatarsal 1 bone and human
(documentation LeftProximalFootPhalanxIBone EnglishLanguage "left proximal foot phalanx I bone") Anatomy.kif 1291-1291 connectedBodyPartTypes left proximal foot phalanx I bone, left metatarsal 1 bone and human
(subclass LeftProximalFootPhalanxIBone ToeBone) Anatomy.kif 1289-1289 Left proximal foot phalanx I bone is a subclass of toe bone

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


(connectedBodyPartTypes LeftDistalFootPhalanxIBone LeftProximalFootPhalanxIBone Human) Anatomy.kif 1386-1386 connectedBodyPartTypes left distal foot phalanx I bone, left proximal foot phalanx I bone and human
(connectedBodyPartTypes LeftMedialCuniformBone LeftProximalFootPhalanxIBone Human) Anatomy.kif 1161-1161 connectedBodyPartTypes LeftMedialCuniformBone, left proximal foot phalanx I bone and human
(termFormat EnglishLanguage LeftProximalFootPhalanxIBone "left proximal foot phalanx I bone") Anatomy.kif 1290-1290 connectedBodyPartTypes LeftMedialCuniformBone, left proximal foot phalanx I bone and human


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