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:
(=>
(
equal
?P
(
PlantFn
Broccoli
))
(
subclass
?P
CabbagePlant
))
Food.kif 2396-2398
Wenn
** Plant
ist gleich
PlantFn
Broccoli
%n{nicht},
dann
** Plant
ist eine
teilkategorie
von
CabbagePlant
(=>
(
equal
?X
(
PlantFn
SpeltWheatGrain
))
(
subclass
?X
SpeltWheatGrass
))
Economy.kif 4107-4110
Wenn
** Plant
ist gleich
PlantFn
SpeltWheatGrain
%n{nicht},
dann
** Plant
ist eine
teilkategorie
von
SpeltWheatGrass
(=>
(
equal
?P
(
PlantFn
CashewNut
))
(
subclass
?P
BotanicalTree
))
Food.kif 2421-2423
Wenn
** Plant
ist gleich
PlantFn
CashewNut
%n{nicht},
dann
** Plant
ist eine
teilkategorie
von
BotanicalTree
(=>
(
equal
?P
(
PlantFn
Mint
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2672-2674
Wenn
** Plant
ist gleich
PlantFn
Mint
%n{nicht},
dann
** Plant
ist eine
teilkategorie
von
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Sesame
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 3397-3399
Wenn
** Plant
ist gleich
PlantFn
Sesame
%n{nicht},
dann
** Plant
ist eine
teilkategorie
von
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Apple
))
(
subclass
?P
DeciduousTree
))
Food.kif 2184-2186
Wenn
** Plant
ist gleich
PlantFn
Apple
%n{nicht},
dann
** Plant
ist eine
teilkategorie
von
DeciduousTree
(=>
(
equal
?P
(
PlantFn
Blueberry
))
(
subclass
?P
Shrub
))
Food.kif 2210-2212
Wenn
** Plant
ist gleich
PlantFn
Blueberry
%n{nicht},
dann
** Plant
ist eine
teilkategorie
von
Shrub
(=>
(
equal
?X
(
PlantFn
DurumWheatGrain
))
(
subclass
?X
DurumWheatGrass
))
Economy.kif 4076-4079
Wenn
** Plant
ist gleich
PlantFn
DurumWheatGrain
%n{nicht},
dann
** Plant
ist eine
teilkategorie
von
DurumWheatGrass
(=>
(
equal
?P
(
PlantFn
ButternutSquash
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2403-2405
Wenn
** Plant
ist gleich
PlantFn
ButternutSquash
%n{nicht},
dann
** Plant
ist eine
teilkategorie
von
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Garlic
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2584-2586
Wenn
** Plant
ist gleich
PlantFn
Garlic
%n{nicht},
dann
** Plant
ist eine
teilkategorie
von
HerbaceousPlant
(=>
(
equal
?X
(
PlantFn
EmmerWheatGrain
))
(
subclass
?X
EmmerWheatGrass
))
Economy.kif 4086-4089
Wenn
** Plant
ist gleich
PlantFn
EmmerWheatGrain
%n{nicht},
dann
** Plant
ist eine
teilkategorie
von
EmmerWheatGrass
(=>
(
equal
?P
(
PlantFn
Celery
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2427-2429
Wenn
** Plant
ist gleich
PlantFn
Celery
%n{nicht},
dann
** Plant
ist eine
teilkategorie
von
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Cilantro
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2529-2531
Wenn
** Plant
ist gleich
PlantFn
Cilantro
%n{nicht},
dann
** Plant
ist eine
teilkategorie
von
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Scallion
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 3360-3362
Wenn
** Plant
ist gleich
PlantFn
Scallion
%n{nicht},
dann
** Plant
ist eine
teilkategorie
von
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Strawberry
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 3483-3485
Wenn
** Plant
ist gleich
PlantFn
Strawberry
%n{nicht},
dann
** Plant
ist eine
teilkategorie
von
HerbaceousPlant
(=>
(
equal
?X
(
PlantFn
EinkornWheatGrain
))
(
subclass
?X
EinkornWheatGrass
))
Economy.kif 4096-4099
Wenn
** Plant
ist gleich
PlantFn
EinkornWheatGrain
%n{nicht},
dann
** Plant
ist eine
teilkategorie
von
EinkornWheatGrass
(=>
(
equal
?P
(
PlantFn
Basil
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2170-2172
Wenn
** Plant
ist gleich
PlantFn
Basil
%n{nicht},
dann
** Plant
ist eine
teilkategorie
von
HerbaceousPlant
(=>
(
equal
?X
(
PlantFn
CommonWheatGrain
))
(
subclass
?X
CommonWheatGrass
))
Economy.kif 4066-4069
Wenn
** Plant
ist gleich
PlantFn
CommonWheatGrain
%n{nicht},
dann
** Plant
ist eine
teilkategorie
von
CommonWheatGrass
(=>
(
equal
?P
(
PlantFn
WineGrape
))
(
subclass
?P
GrapeVine
))
Economy.kif 4732-4735
Wenn
** Plant
ist gleich
PlantFn
WineGrape
%n{nicht},
dann
** Plant
ist eine
teilkategorie
von
GrapeVine
(=>
(
equal
?P
(
PlantFn
Parsley
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2733-2735
Wenn
** Plant
ist gleich
PlantFn
Parsley
%n{nicht},
dann
** Plant
ist eine
teilkategorie
von
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Mustard
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2696-2698
Wenn
** Plant
ist gleich
PlantFn
Mustard
%n{nicht},
dann
** Plant
ist eine
teilkategorie
von
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
TamarindFruit
))
(
subclass
?P
BotanicalTree
))
Food.kif 3489-3491
Wenn
** Plant
ist gleich
PlantFn
TamarindFruit
%n{nicht},
dann
** Plant
ist eine
teilkategorie
von
BotanicalTree
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