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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LeftProximalFootPhalanxVBone
LeftProximalFootPhalanxVBone(left proximal foot phalanx V bone)

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


(connectedBodyPartTypes LeftProximalFootPhalanxVBone LeftMetatarsalVBone Human) Anatomy.kif 1369-1369 connected body parts left proximal foot phalanx V bone, LeftMetatarsalVBone and human
(documentation LeftProximalFootPhalanxVBone EnglishLanguage "left proximal foot phalanx V bone") Anatomy.kif 1367-1367 connected body parts left proximal foot phalanx V bone, LeftMetatarsalVBone and human
(subclass LeftProximalFootPhalanxVBone ToeBone) Anatomy.kif 1365-1365 Left proximal foot phalanx V bone is a subclass of toe bone

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


(connectedBodyPartTypes LeftCuboidBone LeftProximalFootPhalanxVBone Human) Anatomy.kif 1250-1250 connected body parts left cuboid bone, left proximal foot phalanx V bone and human
(connectedBodyPartTypes LeftIntermediateFootPhalanxVBone LeftProximalFootPhalanxVBone Human) Anatomy.kif 1411-1411 connected body parts left intermediate foot phalanx V bone, left proximal foot phalanx V bone and human
(termFormat EnglishLanguage LeftProximalFootPhalanxVBone "left proximal foot phalanx V bone") Anatomy.kif 1366-1366 connected body parts left intermediate foot phalanx V bone, left proximal foot phalanx V 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