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
est une
sous
-classe de
fruit ou v�g�tal
(
subclass
Celery
Vegetable
)
Food.kif 2425-2425
Celery
est une
sous
-classe de
Vegetable
(
subclass
WaterChestnut
Vegetable
)
Food.kif 3647-3647
WaterChestnut
est une
sous
-classe de
Vegetable
(
subclass
Zucchini
Vegetable
)
Food.kif 3649-3649
Zucchini
est une
sous
-classe de
Vegetable
(
subclass
LeafyGreenVegetable
Vegetable
)
Economy.kif 4210-4210
LeafyGreenVegetable
est une
sous
-classe de
Vegetable
(
subclass
Cucumber
Vegetable
)
Economy.kif 4220-4220
Cucumber
est une
sous
-classe de
Vegetable
(
subclass
Cabbage
Vegetable
)
Economy.kif 4234-4234
Cabbage
est une
sous
-classe de
Vegetable
(
subclass
Cauliflower
Vegetable
)
Economy.kif 4262-4262
Cauliflower
est une
sous
-classe de
Vegetable
(
subclass
Eggplant
Vegetable
)
Economy.kif 4271-4271
Eggplant
est une
sous
-classe de
Vegetable
(
subclass
SweetPepper
Vegetable
)
Economy.kif 4332-4332
SweetPepper
est une
sous
-classe de
Vegetable
(
subclass
Squash
Vegetable
)
Economy.kif 4333-4333
Squash
est une
sous
-classe de
Vegetable
(
subclass
SugarBeet
Vegetable
)
Economy.kif 4334-4334
SugarBeet
est une
sous
-classe de
Vegetable
(
subclass
SugarCane
Vegetable
)
Economy.kif 4352-4352
SugarCane
est une
sous
-classe de
Vegetable
(
subclass
Ginger
Vegetable
)
Economy.kif 4464-4464
Ginger
est une
sous
-classe de
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