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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LeftProximalFootPhalanxVBone
LeftProximalFootPhalanxVBone

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


(connectedBodyPartTypes LeftProximalFootPhalanxVBone LeftMetatarsalVBone Human) Anatomy.kif 1334-1334 connectedBodyPartTypes LeftProximalFootPhalanxVBone, LeftMetatarsalVBone and humain
(documentation LeftProximalFootPhalanxVBone EnglishLanguage "left proximal foot phalanx V bone") Anatomy.kif 1332-1332
(subclass LeftProximalFootPhalanxVBone ToeBone) Anatomy.kif 1330-1330 LeftProximalFootPhalanxVBone est une sous-classe de ToeBone

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


(connectedBodyPartTypes LeftCuboidBone LeftProximalFootPhalanxVBone Human) Anatomy.kif 1217-1217 connectedBodyPartTypes LeftCuboidBone, LeftProximalFootPhalanxVBone and humain
(connectedBodyPartTypes LeftIntermediateFootPhalanxVBone LeftProximalFootPhalanxVBone Human) Anatomy.kif 1376-1376 connectedBodyPartTypes LeftIntermediateFootPhalanxVBone, LeftProximalFootPhalanxVBone and humain
(termFormat EnglishLanguage LeftProximalFootPhalanxVBone "left proximal foot phalanx V bone") Anatomy.kif 1331-1331


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