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
Vegetable
FruitOrVegetable
)
Economy.kif 4206-4206
Vegetable
is a
subclass
of
fruit or vegetable
(
subclass
Celery
Vegetable
)
Food.kif 2425-2425
Celery
is a
subclass
of
vegetable
(
subclass
WaterChestnut
Vegetable
)
Food.kif 3647-3647
Water chestnut
is a
subclass
of
vegetable
(
subclass
Zucchini
Vegetable
)
Food.kif 3649-3649
Zucchini
is a
subclass
of
vegetable
(
subclass
LeafyGreenVegetable
Vegetable
)
Economy.kif 4210-4210
Leafy green vegetable
is a
subclass
of
vegetable
(
subclass
Cucumber
Vegetable
)
Economy.kif 4220-4220
Cucumber
is a
subclass
of
vegetable
(
subclass
Cabbage
Vegetable
)
Economy.kif 4234-4234
Cabbage
is a
subclass
of
vegetable
(
subclass
Cauliflower
Vegetable
)
Economy.kif 4262-4262
Cauliflower
is a
subclass
of
vegetable
(
subclass
Eggplant
Vegetable
)
Economy.kif 4271-4271
Eggplant
is a
subclass
of
vegetable
(
subclass
SweetPepper
Vegetable
)
Economy.kif 4332-4332
Sweet pepper
is a
subclass
of
vegetable
(
subclass
Squash
Vegetable
)
Economy.kif 4333-4333
Squash
is a
subclass
of
vegetable
(
subclass
SugarBeet
Vegetable
)
Economy.kif 4334-4334
Sugar beet
is a
subclass
of
vegetable
(
subclass
SugarCane
Vegetable
)
Economy.kif 4352-4352
Sugar cane
is a
subclass
of
vegetable
(
subclass
Ginger
Vegetable
)
Economy.kif 4464-4464
Ginger
is a
subclass
of
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