Term Intersection
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
Term 1:
Term 2:
(
subclass
FingerBone
ArmBone
)
Anatomy.kif 877-877
FingerBone
是
ArmBone
的
subclass
(
subclass
FingerBone
Phalanx
)
Anatomy.kif 1285-1285
FingerBone
是
Phalanx
的
subclass
(
subclass
LeftProximalPhalanxIBone
FingerBone
)
Anatomy.kif 882-882
LeftProximalPhalanxIBone
是
FingerBone
的
subclass
(
subclass
RightProximalPhalanxIBone
FingerBone
)
Anatomy.kif 886-886
RightProximalPhalanxIBone
是
FingerBone
的
subclass
(
subclass
LeftProximalPhalanxIIBone
FingerBone
)
Anatomy.kif 890-890
LeftProximalPhalanxIIBone
是
FingerBone
的
subclass
(
subclass
RightProximalPhalanxIIBone
FingerBone
)
Anatomy.kif 894-894
RightProximalPhalanxIIBone
是
FingerBone
的
subclass
(
subclass
LeftProximalPhalanxIIIBone
FingerBone
)
Anatomy.kif 898-898
LeftProximalPhalanxIIIBone
是
FingerBone
的
subclass
(
subclass
RightProximalPhalanxIIIBone
FingerBone
)
Anatomy.kif 902-902
RightProximalPhalanxIIIBone
是
FingerBone
的
subclass
(
subclass
LeftProximalPhalanxIVBone
FingerBone
)
Anatomy.kif 906-906
LeftProximalPhalanxIVBone
是
FingerBone
的
subclass
(
subclass
RightProximalPhalanxIVBone
FingerBone
)
Anatomy.kif 910-910
RightProximalPhalanxIVBone
是
FingerBone
的
subclass
(
subclass
LeftProximalPhalanxVBone
FingerBone
)
Anatomy.kif 914-914
LeftProximalPhalanxVBone
是
FingerBone
的
subclass
(
subclass
RightProximalPhalanxVBone
FingerBone
)
Anatomy.kif 918-918
RightProximalPhalanxVBone
是
FingerBone
的
subclass
(
subclass
LeftIntermediatePhalanxIIBone
FingerBone
)
Anatomy.kif 924-924
LeftIntermediatePhalanxIIBone
是
FingerBone
的
subclass
(
subclass
RightIntermediatePhalanxIIBone
FingerBone
)
Anatomy.kif 928-928
RightIntermediatePhalanxIIBone
是
FingerBone
的
subclass
(
subclass
LeftIntermediatePhalanxIIIBone
FingerBone
)
Anatomy.kif 932-932
LeftIntermediatePhalanxIIIBone
是
FingerBone
的
subclass
(
subclass
RightIntermediatePhalanxIIIBone
FingerBone
)
Anatomy.kif 936-936
RightIntermediatePhalanxIIIBone
是
FingerBone
的
subclass
(
subclass
LeftIntermediatePhalanxIVBone
FingerBone
)
Anatomy.kif 940-940
LeftIntermediatePhalanxIVBone
是
FingerBone
的
subclass
(
subclass
RightIntermediatePhalanxIVBone
FingerBone
)
Anatomy.kif 944-944
RightIntermediatePhalanxIVBone
是
FingerBone
的
subclass
(
subclass
LeftIntermediatePhalanxVBone
FingerBone
)
Anatomy.kif 948-948
LeftIntermediatePhalanxVBone
是
FingerBone
的
subclass
(
subclass
RightIntermediatePhalanxVBone
FingerBone
)
Anatomy.kif 952-952
RightIntermediatePhalanxVBone
是
FingerBone
的
subclass
(
subclass
LeftDistalPhalanxIBone
FingerBone
)
Anatomy.kif 957-957
LeftDistalPhalanxIBone
是
FingerBone
的
subclass
(
subclass
RightDistalPhalanxIBone
FingerBone
)
Anatomy.kif 961-961
RightDistalPhalanxIBone
是
FingerBone
的
subclass
(
subclass
LeftDistalPhalanxIIBone
FingerBone
)
Anatomy.kif 965-965
LeftDistalPhalanxIIBone
是
FingerBone
的
subclass
(
subclass
RightDistalPhalanxIIBone
FingerBone
)
Anatomy.kif 969-969
RightDistalPhalanxIIBone
是
FingerBone
的
subclass
(
subclass
LeftDistalPhalanxIIIBone
FingerBone
)
Anatomy.kif 973-973
LeftDistalPhalanxIIIBone
是
FingerBone
的
subclass
(
subclass
RightDistalPhalanxIIIBone
FingerBone
)
Anatomy.kif 977-977
RightDistalPhalanxIIIBone
是
FingerBone
的
subclass
(
subclass
LeftDistalPhalanxIVBone
FingerBone
)
Anatomy.kif 981-981
LeftDistalPhalanxIVBone
是
FingerBone
的
subclass
(
subclass
RightDistalPhalanxIVBone
FingerBone
)
Anatomy.kif 985-985
RightDistalPhalanxIVBone
是
FingerBone
的
subclass
(
subclass
LeftDistalPhalanxVBone
FingerBone
)
Anatomy.kif 989-989
LeftDistalPhalanxVBone
是
FingerBone
的
subclass
(
subclass
RightDistalPhalanxVBone
FingerBone
)
Anatomy.kif 993-993
RightDistalPhalanxVBone
是
FingerBone
的
subclass
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