Term Intersection
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
cb
cz
de
hi
ro
sv
termFormat
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
Term 1:
Term 2:
(
subclass
FruitOrVegetable
PlantAnatomicalStructure
)
Merge.kif 15229-15229
Fruit or vegetable
is a
subclass
of
PlantAnatomicalStructure
(
subclass
FruitOrVegetable
ReproductiveBody
)
Merge.kif 15230-15230
Fruit or vegetable
is a
subclass
of
reproductive body
(
subclass
Herb
FruitOrVegetable
)
Food.kif 2161-2161
Herb
is a
subclass
of
fruit or vegetable
(
subclass
Fruit
FruitOrVegetable
)
Food.kif 2182-2182
Fruit
is a
subclass
of
fruit or vegetable
(
subclass
Broccoli
FruitOrVegetable
)
Food.kif 2398-2398
Broccoli
is a
subclass
of
fruit or vegetable
(
subclass
Mushroom
FruitOrVegetable
)
Food.kif 2691-2691
Mushroom
is a
subclass
of
fruit or vegetable
(
subclass
Scallion
FruitOrVegetable
)
Food.kif 3367-3367
Scallion
is a
subclass
of
fruit or vegetable
(
subclass
Vegetable
FruitOrVegetable
)
Economy.kif 4538-4538
Vegetable
is a
subclass
of
fruit or vegetable
(
subclass
RootVegetable
FruitOrVegetable
)
Economy.kif 4620-4620
RootVegetable
is a
subclass
of
fruit or vegetable
(
subclass
Legume
FruitOrVegetable
)
Economy.kif 4669-4669
Legume
is a
subclass
of
fruit or vegetable
(
subclass
EdibleNut
FruitOrVegetable
)
Economy.kif 4803-4803
EdibleNut
is a
subclass
of
fruit or vegetable
(
subclass
Groundnut
FruitOrVegetable
)
Economy.kif 4819-4819
Groundnut
is a
subclass
of
fruit or vegetable
(
subclass
TeaPlantAerialPart
FruitOrVegetable
)
Economy.kif 5039-5039
TeaPlantAerialPart
is a
subclass
of
fruit or 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
