Browsing Interface
: 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
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
PlantFn
Sigma KEE - PlantFn
PlantFn
appearance as argument number 1
(
documentation
PlantFn
EnglishLanguage
"This function denotes the class of
Plant
of a given
PlantAnatomicalStructure
, such as
Seed
or
Flower
or
FruitOrVegetable
.")
Food.kif 3354-3355
(
domainSubclass
PlantFn
1
PlantAnatomicalStructure
)
Food.kif 3352-3352
Die Zahl 1 Argument von
PlantFn
ist eine
teilkategorie
von
PlantAnatomicalStructure
%n{nicht}
(
instance
PlantFn
UnaryFunction
)
Food.kif 3351-3351
PlantFn
ist ein
fall
von
UnaryFunction
%n{nicht}
(
rangeSubclass
PlantFn
Plant
)
Food.kif 3353-3353
Die werte die
PlantFn
zurueckgibt sind
teilkategorien
von
Plant
appearance as argument number 2
(
termFormat
EnglishLanguage
PlantFn
"plant fn")
Food.kif 3356-3356
antecedent
(=>
(
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
Basil
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2170-2172
Wenn
** Plant
ist gleich
PlantFn
Basil
%n{nicht},
dann
** Plant
ist eine
teilkategorie
von
HerbaceousPlant
(=>
(
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
?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
?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
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
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
Garlic
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2584-2586
Wenn
** Plant
ist gleich
PlantFn
Garlic
%n{nicht},
dann
** Plant
ist eine
teilkategorie
von
HerbaceousPlant
(=>
(
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
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
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
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
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
Strawberry
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 3483-3485
Wenn
** Plant
ist gleich
PlantFn
Strawberry
%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
(=>
(
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
?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
?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
?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
?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
?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
(=>
(
instance
?P
(
PlantFn
CoffeeArabica
))
(
instance
?P
CoffeaArabica
))
Economy.kif 4641-4643
Wenn
Entity
ist ein
fall
von
PlantFn
CoffeeArabica
%n{nicht},
dann
** Entity
ist ein
fall
von
CoffeaArabica
%n{nicht}
(=>
(
instance
?P
(
PlantFn
CoffeeRobusta
))
(
instance
?P
CoffeaRobusta
))
Economy.kif 4665-4667
Wenn
Entity
ist ein
fall
von
PlantFn
CoffeeRobusta
%n{nicht},
dann
** Entity
ist ein
fall
von
CoffeaRobusta
%n{nicht}
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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