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

Formal Language: 



Term 1: Term 2:

(subclass FingerBone ArmBone) Anatomy.kif 877-877
(subclass FingerBone Phalanx) Anatomy.kif 1285-1285
(subclass LeftProximalPhalanxIBone FingerBone) Anatomy.kif 882-882
(subclass RightProximalPhalanxIBone FingerBone) Anatomy.kif 886-886
(subclass LeftProximalPhalanxIIBone FingerBone) Anatomy.kif 890-890
(subclass RightProximalPhalanxIIBone FingerBone) Anatomy.kif 894-894
(subclass LeftProximalPhalanxIIIBone FingerBone) Anatomy.kif 898-898
(subclass RightProximalPhalanxIIIBone FingerBone) Anatomy.kif 902-902
(subclass LeftProximalPhalanxIVBone FingerBone) Anatomy.kif 906-906
(subclass RightProximalPhalanxIVBone FingerBone) Anatomy.kif 910-910
(subclass LeftProximalPhalanxVBone FingerBone) Anatomy.kif 914-914
(subclass RightProximalPhalanxVBone FingerBone) Anatomy.kif 918-918
(subclass LeftIntermediatePhalanxIIBone FingerBone) Anatomy.kif 924-924
(subclass RightIntermediatePhalanxIIBone FingerBone) Anatomy.kif 928-928
(subclass LeftIntermediatePhalanxIIIBone FingerBone) Anatomy.kif 932-932
(subclass RightIntermediatePhalanxIIIBone FingerBone) Anatomy.kif 936-936
(subclass LeftIntermediatePhalanxIVBone FingerBone) Anatomy.kif 940-940
(subclass RightIntermediatePhalanxIVBone FingerBone) Anatomy.kif 944-944
(subclass LeftIntermediatePhalanxVBone FingerBone) Anatomy.kif 948-948
(subclass RightIntermediatePhalanxVBone FingerBone) Anatomy.kif 952-952
(subclass LeftDistalPhalanxIBone FingerBone) Anatomy.kif 957-957
(subclass RightDistalPhalanxIBone FingerBone) Anatomy.kif 961-961
(subclass LeftDistalPhalanxIIBone FingerBone) Anatomy.kif 965-965
(subclass RightDistalPhalanxIIBone FingerBone) Anatomy.kif 969-969
(subclass LeftDistalPhalanxIIIBone FingerBone) Anatomy.kif 973-973
(subclass RightDistalPhalanxIIIBone FingerBone) Anatomy.kif 977-977
(subclass LeftDistalPhalanxIVBone FingerBone) Anatomy.kif 981-981
(subclass RightDistalPhalanxIVBone FingerBone) Anatomy.kif 985-985
(subclass LeftDistalPhalanxVBone FingerBone) Anatomy.kif 989-989
(subclass RightDistalPhalanxVBone FingerBone) Anatomy.kif 993-993


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