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
RootVegetable
FruitOrVegetable
)
Economy.kif 4287-4287
Root vegetable
is a
subclass
of
fruit or vegetable
(
subclass
Garlic
RootVegetable
)
Food.kif 2582-2582
Garlic
is a
subclass
of
root vegetable
(
subclass
Onion
RootVegetable
)
Food.kif 2712-2712
Onion
is a
subclass
of
root vegetable
(
subclass
Shallot
RootVegetable
)
Food.kif 3401-3401
Shallot
is a
subclass
of
root vegetable
(
subclass
Radish
RootVegetable
)
Economy.kif 4291-4291
Radish
is a
subclass
of
root vegetable
(
subclass
Turnip
RootVegetable
)
Economy.kif 4294-4294
Turnip
is a
subclass
of
root vegetable
(
subclass
Beets
RootVegetable
)
Economy.kif 4295-4295
Beets
is a
subclass
of
root vegetable
(
subclass
Carrot
RootVegetable
)
Economy.kif 4297-4297
Carrot
is a
subclass
of
root vegetable
(
subclass
Rutabaga
RootVegetable
)
Economy.kif 4298-4298
Rutabaga
is a
subclass
of
root vegetable
(
subclass
Diakon
RootVegetable
)
Economy.kif 4302-4302
Diakon
is a
subclass
of
root vegetable
(
subclass
Parsnip
RootVegetable
)
Economy.kif 4304-4304
Parsnip
is a
subclass
of
root vegetable
(
subclass
EdibleTuber
RootVegetable
)
Economy.kif 4321-4321
Edible tuber
is a
subclass
of
root vegetable
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
