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
PalmBone
ArmBone
)
Anatomy.kif 829-829
Palm bone
is a
subclass
of
arm bone
(
subclass
LeftIMetacarpal
PalmBone
)
Anatomy.kif 834-834
Left I metacarpal
is a
subclass
of
palm bone
(
subclass
RightIMetacarpal
PalmBone
)
Anatomy.kif 838-838
Right I metacarpal
is a
subclass
of
palm bone
(
subclass
LeftIIMetacarpal
PalmBone
)
Anatomy.kif 842-842
Left II metacarpal
is a
subclass
of
palm bone
(
subclass
RightIIMetacarpal
PalmBone
)
Anatomy.kif 846-846
Right II metacarpal
is a
subclass
of
palm bone
(
subclass
LeftIIIMetacarpal
PalmBone
)
Anatomy.kif 850-850
Left III metacarpal
is a
subclass
of
palm bone
(
subclass
RightIIIMetacarpal
PalmBone
)
Anatomy.kif 854-854
Right III metacarpal
is a
subclass
of
palm bone
(
subclass
LeftIVMetacarpal
PalmBone
)
Anatomy.kif 858-858
Left IV metacarpal
is a
subclass
of
palm bone
(
subclass
RightIVMetacarpal
PalmBone
)
Anatomy.kif 862-862
Right IV metacarpal
is a
subclass
of
palm bone
(
subclass
LeftVMetacarpal
PalmBone
)
Anatomy.kif 866-866
Left V metacarpal
is a
subclass
of
palm bone
(
subclass
RightVMetacarpal
PalmBone
)
Anatomy.kif 870-870
Right V metacarpal
is a
subclass
of
palm bone
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
