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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LeftProximalFootPhalanxIVBone
LeftProximalFootPhalanxIVBone(left proximal foot phalanx IV bone)

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


(connectedBodyPartTypes LeftProximalFootPhalanxIVBone LeftMetatarsal1VBone Human) Anatomy.kif 1324-1324 connectedBodyPartTypes left proximal foot phalanx IV bone, LeftMetatarsal1VBone and human
(documentation LeftProximalFootPhalanxIVBone EnglishLanguage "left proximal foot phalanx IV bone") Anatomy.kif 1322-1322
(subclass LeftProximalFootPhalanxIVBone ToeBone) Anatomy.kif 1320-1320 Left proximal foot phalanx IV bone is a subclass of toe bone

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


(connectedBodyPartTypes LeftCuboidBone LeftProximalFootPhalanxIVBone Human) Anatomy.kif 1216-1216 connectedBodyPartTypes left cuboid bone, left proximal foot phalanx IV bone and human
(connectedBodyPartTypes LeftIntermediateFootPhalanxIVBone LeftProximalFootPhalanxIVBone Human) Anatomy.kif 1366-1366 connectedBodyPartTypes left intermediate foot phalanx IV bone, left proximal foot phalanx IV bone and human
(connectedBodyPartTypes LeftLateralCuniformBone LeftProximalFootPhalanxIVBone Human) Anatomy.kif 1199-1199 connectedBodyPartTypes LeftLateralCuniformBone, left proximal foot phalanx IV bone and human
(termFormat EnglishLanguage LeftProximalFootPhalanxIVBone "left proximal foot phalanx IV bone") Anatomy.kif 1321-1321


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