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
ist eine
teilkategorie
von
FruitOrVegetable
(
subclass
Celery
Vegetable
)
Food.kif 2425-2425
Celery
ist eine
teilkategorie
von
Vegetable
(
subclass
WaterChestnut
Vegetable
)
Food.kif 3647-3647
WaterChestnut
ist eine
teilkategorie
von
Vegetable
(
subclass
Zucchini
Vegetable
)
Food.kif 3649-3649
Zucchini
ist eine
teilkategorie
von
Vegetable
(
subclass
LeafyGreenVegetable
Vegetable
)
Economy.kif 4210-4210
LeafyGreenVegetable
ist eine
teilkategorie
von
Vegetable
(
subclass
Cucumber
Vegetable
)
Economy.kif 4220-4220
Cucumber
ist eine
teilkategorie
von
Vegetable
(
subclass
Cabbage
Vegetable
)
Economy.kif 4234-4234
Cabbage
ist eine
teilkategorie
von
Vegetable
(
subclass
Cauliflower
Vegetable
)
Economy.kif 4262-4262
Cauliflower
ist eine
teilkategorie
von
Vegetable
(
subclass
Eggplant
Vegetable
)
Economy.kif 4271-4271
Eggplant
ist eine
teilkategorie
von
Vegetable
(
subclass
SweetPepper
Vegetable
)
Economy.kif 4332-4332
SweetPepper
ist eine
teilkategorie
von
Vegetable
(
subclass
Squash
Vegetable
)
Economy.kif 4333-4333
Squash
ist eine
teilkategorie
von
Vegetable
(
subclass
SugarBeet
Vegetable
)
Economy.kif 4334-4334
SugarBeet
ist eine
teilkategorie
von
Vegetable
(
subclass
SugarCane
Vegetable
)
Economy.kif 4352-4352
SugarCane
ist eine
teilkategorie
von
Vegetable
(
subclass
Ginger
Vegetable
)
Economy.kif 4464-4464
Ginger
ist eine
teilkategorie
von
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