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
VitaminBComplex
Vitamin
)
Medicine.kif 2448-2448
VitaminBComplex
ist eine
teilkategorie
von
Vitamin
(
subclass
VitaminB1
VitaminBComplex
)
Medicine.kif 2452-2452
VitaminB1
ist eine
teilkategorie
von
VitaminBComplex
(
subclass
VitaminB2
VitaminBComplex
)
Medicine.kif 2471-2471
VitaminB2
ist eine
teilkategorie
von
VitaminBComplex
(
subclass
VitaminB3
VitaminBComplex
)
Medicine.kif 2486-2486
VitaminB3
ist eine
teilkategorie
von
VitaminBComplex
(
subclass
VitaminB5
VitaminBComplex
)
Medicine.kif 2525-2525
VitaminB5
ist eine
teilkategorie
von
VitaminBComplex
(
subclass
VitaminB6
VitaminBComplex
)
Medicine.kif 2542-2542
VitaminB6
ist eine
teilkategorie
von
VitaminBComplex
(
subclass
VitaminB7
VitaminBComplex
)
Medicine.kif 2559-2559
VitaminB7
ist eine
teilkategorie
von
VitaminBComplex
(
subclass
VitaminB9
VitaminBComplex
)
Medicine.kif 2570-2570
VitaminB9
ist eine
teilkategorie
von
VitaminBComplex
(
subclass
VitaminB12
VitaminBComplex
)
Medicine.kif 2598-2598
VitaminB12
ist eine
teilkategorie
von
VitaminBComplex
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