Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

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


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