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
CervicalVertebraBone
VertebraBone
)
Anatomy.kif 524-524
CervicalVertebraBone
ist eine
teilkategorie
von
VertebraBone
(
subclass
C1VertebraBone
CervicalVertebraBone
)
Anatomy.kif 528-528
C1VertebraBone
ist eine
teilkategorie
von
CervicalVertebraBone
(
subclass
C2VertebraBone
CervicalVertebraBone
)
Anatomy.kif 534-534
C2VertebraBone
ist eine
teilkategorie
von
CervicalVertebraBone
(
subclass
C3VertebraBone
CervicalVertebraBone
)
Anatomy.kif 540-540
C3VertebraBone
ist eine
teilkategorie
von
CervicalVertebraBone
(
subclass
C4VertebraBone
CervicalVertebraBone
)
Anatomy.kif 544-544
C4VertebraBone
ist eine
teilkategorie
von
CervicalVertebraBone
(
subclass
C5VertebraBone
CervicalVertebraBone
)
Anatomy.kif 548-548
C5VertebraBone
ist eine
teilkategorie
von
CervicalVertebraBone
(
subclass
C6VertebraBone
CervicalVertebraBone
)
Anatomy.kif 552-552
C6VertebraBone
ist eine
teilkategorie
von
CervicalVertebraBone
(
subclass
C7VertebraBone
CervicalVertebraBone
)
Anatomy.kif 556-556
C7VertebraBone
ist eine
teilkategorie
von
CervicalVertebraBone
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