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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PalmBone
PalmBone

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


No TPTP formula. May not be expressible in strict first order. Anatomy.kif 831-831
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 832-832 initialPart PalmBone and Hand
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 829-829 PalmBone e' uma sub-classe de ArmBone

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


No TPTP formula. May not be expressible in strict first order. Anatomy.kif 850-850 LeftIIIMetacarpal e' uma sub-classe de PalmBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 842-842 LeftIIMetacarpal e' uma sub-classe de PalmBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 834-834 LeftIMetacarpal e' uma sub-classe de PalmBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 858-858 LeftIVMetacarpal e' uma sub-classe de PalmBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 866-866 LeftVMetacarpal e' uma sub-classe de PalmBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 854-854 RightIIIMetacarpal e' uma sub-classe de PalmBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 846-846 RightIIMetacarpal e' uma sub-classe de PalmBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 838-838 RightIMetacarpal e' uma sub-classe de PalmBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 862-862 RightIVMetacarpal e' uma sub-classe de PalmBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 870-870 RightVMetacarpal e' uma sub-classe de PalmBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 830-830


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