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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MedialCuneiformBone

Sigma KEE - MedialCuneiformBone
MedialCuneiformBone

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


No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1156-1156
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1154-1154 MedialCuneiformBoneCuneiformBonesubclass

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


No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1158-1158 LeftMedialCuneiformBoneMedialCuneiformBonesubclass
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1164-1164 RightMedialCuneiformBoneMedialCuneiformBonesubclass
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1155-1155
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1170-1170


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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