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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FingerBone

Sigma KEE - FingerBone
FingerBone

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


No TPTP formula. May not be expressible in strict first order. Anatomy.kif 879-879
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 880-880 initialPart FingerBone and Hand
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 877-877 FingerBone est une sous-classe de ArmBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1285-1285 FingerBone est une sous-classe de Phalanx

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


No TPTP formula. May not be expressible in strict first order. Anatomy.kif 957-957 LeftDistalPhalanxIBone est une sous-classe de FingerBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 965-965 LeftDistalPhalanxIIBone est une sous-classe de FingerBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 973-973 LeftDistalPhalanxIIIBone est une sous-classe de FingerBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 981-981 LeftDistalPhalanxIVBone est une sous-classe de FingerBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 989-989 LeftDistalPhalanxVBone est une sous-classe de FingerBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 924-924 LeftIntermediatePhalanxIIBone est une sous-classe de FingerBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 932-932 LeftIntermediatePhalanxIIIBone est une sous-classe de FingerBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 940-940 LeftIntermediatePhalanxIVBone est une sous-classe de FingerBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 948-948 LeftIntermediatePhalanxVBone est une sous-classe de FingerBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 882-882 LeftProximalPhalanxIBone est une sous-classe de FingerBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 890-890 LeftProximalPhalanxIIBone est une sous-classe de FingerBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 898-898 LeftProximalPhalanxIIIBone est une sous-classe de FingerBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 906-906 LeftProximalPhalanxIVBone est une sous-classe de FingerBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 914-914 LeftProximalPhalanxVBone est une sous-classe de FingerBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 961-961 RightDistalPhalanxIBone est une sous-classe de FingerBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 969-969 RightDistalPhalanxIIBone est une sous-classe de FingerBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 977-977 RightDistalPhalanxIIIBone est une sous-classe de FingerBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 985-985 RightDistalPhalanxIVBone est une sous-classe de FingerBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 993-993 RightDistalPhalanxVBone est une sous-classe de FingerBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 928-928 RightIntermediatePhalanxIIBone est une sous-classe de FingerBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 936-936 RightIntermediatePhalanxIIIBone est une sous-classe de FingerBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 944-944 RightIntermediatePhalanxIVBone est une sous-classe de FingerBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 952-952 RightIntermediatePhalanxVBone est une sous-classe de FingerBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 886-886 RightProximalPhalanxIBone est une sous-classe de FingerBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 894-894 RightProximalPhalanxIIBone est une sous-classe de FingerBone

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1286-1286 Phalanx est compl�tement d�compos� en ToeBone + FingerBone


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