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
LeftRibBone
RibBone
)
Anatomy.kif 275-275
Left rib bone
is a
subclass
of
rib bone
(
subclass
LeftTrueRib1Bone
LeftRibBone
)
Anatomy.kif 298-298
Left true rib 1 bone
is a
subclass
of
left rib bone
(
subclass
LeftTrueRib2Bone
LeftRibBone
)
Anatomy.kif 313-313
Left true rib 2 bone
is a
subclass
of
left rib bone
(
subclass
LeftTrueRib3Bone
LeftRibBone
)
Anatomy.kif 328-328
Left true rib 3 bone
is a
subclass
of
left rib bone
(
subclass
LeftTrueRib4Bone
LeftRibBone
)
Anatomy.kif 343-343
Left true rib 4 bone
is a
subclass
of
left rib bone
(
subclass
LeftTrueRib5Bone
LeftRibBone
)
Anatomy.kif 358-358
Left true rib 5 bone
is a
subclass
of
left rib bone
(
subclass
LeftTrueRib6Bone
LeftRibBone
)
Anatomy.kif 373-373
Left true rib 6 bone
is a
subclass
of
left rib bone
(
subclass
LeftTrueRib7Bone
LeftRibBone
)
Anatomy.kif 388-388
Left true rib 7 bone
is a
subclass
of
left rib bone
(
subclass
LeftFalseRib8Bone
LeftRibBone
)
Anatomy.kif 419-419
Left false rib 8 bone
is a
subclass
of
left rib bone
(
subclass
LeftFalseRib9Bone
LeftRibBone
)
Anatomy.kif 434-434
Left false rib 9 bone
is a
subclass
of
left rib bone
(
subclass
LeftFalseRib10Bone
LeftRibBone
)
Anatomy.kif 449-449
Left false rib 10 bone
is a
subclass
of
left rib bone
(
subclass
LeftFalseRib11Bone
LeftRibBone
)
Anatomy.kif 464-464
Left false rib 11 bone
is a
subclass
of
left rib bone
(
subclass
LeftFalseRib12Bone
LeftRibBone
)
Anatomy.kif 481-481
Left false rib 12 bone
is a
subclass
of
left 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
