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
RightRibBone
RibBone
)
Anatomy.kif 279-279
Right rib bone
is a
subclass
of
rib bone
(
subclass
RightTrueRib1Bone
RightRibBone
)
Anatomy.kif 304-304
Right true rib 1 bone
is a
subclass
of
right rib bone
(
subclass
RightTrueRib2Bone
RightRibBone
)
Anatomy.kif 319-319
Right true rib 2 bone
is a
subclass
of
right rib bone
(
subclass
RightTrueRib3Bone
RightRibBone
)
Anatomy.kif 334-334
Right true rib 3 bone
is a
subclass
of
right rib bone
(
subclass
RightTrueRib4Bone
RightRibBone
)
Anatomy.kif 349-349
Right true rib 4 bone
is a
subclass
of
right rib bone
(
subclass
RightTrueRib5Bone
RightRibBone
)
Anatomy.kif 364-364
Right true rib 5 bone
is a
subclass
of
right rib bone
(
subclass
RightTrueRib6Bone
RightRibBone
)
Anatomy.kif 379-379
Right true rib 6 bone
is a
subclass
of
right rib bone
(
subclass
RightTrueRib7Bone
RightRibBone
)
Anatomy.kif 394-394
Right true rib 7 bone
is a
subclass
of
right rib bone
(
subclass
RightFalseRib8Bone
RightRibBone
)
Anatomy.kif 425-425
Right false rib 8 bone
is a
subclass
of
right rib bone
(
subclass
RightFalseRib9Bone
RightRibBone
)
Anatomy.kif 440-440
Right false rib 9 bone
is a
subclass
of
right rib bone
(
subclass
RightFalseRib10Bone
RightRibBone
)
Anatomy.kif 455-455
Right false rib 10 bone
is a
subclass
of
right rib bone
(
subclass
RightFalseRib11Bone
RightRibBone
)
Anatomy.kif 470-470
Right false rib 11 bone
is a
subclass
of
right rib bone
(
subclass
RightFalseRib12Bone
RightRibBone
)
Anatomy.kif 487-487
Right false rib 12 bone
is a
subclass
of
right rib 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
