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
ThoracicVertebraBone
VertebraBone
)
Anatomy.kif 616-616
Thoracic vertebra bone
is a
subclass
of
vertebra bone
(
subclass
T1VertebraBone
ThoracicVertebraBone
)
Anatomy.kif 620-620
T1 vertebra bone
is a
subclass
of
thoracic vertebra bone
(
subclass
T2VertebraBone
ThoracicVertebraBone
)
Anatomy.kif 624-624
T2 vertebra bone
is a
subclass
of
thoracic vertebra bone
(
subclass
T3VertebraBone
ThoracicVertebraBone
)
Anatomy.kif 628-628
T3 Vertebra Bone
is a
subclass
of
thoracic vertebra bone
(
subclass
T4VertebraBone
ThoracicVertebraBone
)
Anatomy.kif 632-632
T4 vertebra bone
is a
subclass
of
thoracic vertebra bone
(
subclass
T5VertebraBone
ThoracicVertebraBone
)
Anatomy.kif 636-636
T5 vertebra bone
is a
subclass
of
thoracic vertebra bone
(
subclass
T6VertebraBone
ThoracicVertebraBone
)
Anatomy.kif 640-640
T6 Vertebra Bone
is a
subclass
of
thoracic vertebra bone
(
subclass
T7VertebraBone
ThoracicVertebraBone
)
Anatomy.kif 644-644
T7 vertebra bone
is a
subclass
of
thoracic vertebra bone
(
subclass
T8VertebraBone
ThoracicVertebraBone
)
Anatomy.kif 648-648
T8 vertebra bone
is a
subclass
of
thoracic vertebra bone
(
subclass
T9VertebraBone
ThoracicVertebraBone
)
Anatomy.kif 652-652
T9 Vertebra Bone
is a
subclass
of
thoracic vertebra bone
(
subclass
T10VertebraBone
ThoracicVertebraBone
)
Anatomy.kif 656-656
T10 vertebra bone
is a
subclass
of
thoracic vertebra bone
(
subclass
T11VertebraBone
ThoracicVertebraBone
)
Anatomy.kif 660-660
T11 vertebra bone
is a
subclass
of
thoracic vertebra bone
(
subclass
T12VertebraBone
ThoracicVertebraBone
)
Anatomy.kif 664-664
T12 vertebra bone
is a
subclass
of
thoracic vertebra 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
