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
Il numero 1 argomento
PlantFn
è una
sottoclasse
di
PlantAnatomicalStructure
(
instance
PlantFn
UnaryFunction
)
Food.kif 3351-3351
PlantFn
è un'
istanza
di
FunzioneUnaria
(
rangeSubclass
PlantFn
Plant
)
Food.kif 3353-3353
I valori resi da
PlantFn
sono
sottoclassi
di
Pianta
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
Pianta
is
uguale
a
PlantFn
Apple
Pianta
è una
sottoclasse
di
DeciduousTree
(=>
(
equal
?P
(
PlantFn
Basil
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2170-2172
Pianta
is
uguale
a
PlantFn
Basil
Pianta
è una
sottoclasse
di
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Blueberry
))
(
subclass
?P
Shrub
))
Food.kif 2210-2212
Pianta
is
uguale
a
PlantFn
Blueberry
Pianta
è una
sottoclasse
di
Shrub
(=>
(
equal
?P
(
PlantFn
Broccoli
))
(
subclass
?P
CabbagePlant
))
Food.kif 2396-2398
Pianta
is
uguale
a
PlantFn
Broccoli
Pianta
è una
sottoclasse
di
CabbagePlant
(=>
(
equal
?P
(
PlantFn
ButternutSquash
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2403-2405
Pianta
is
uguale
a
PlantFn
ButternutSquash
Pianta
è una
sottoclasse
di
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
CashewNut
))
(
subclass
?P
BotanicalTree
))
Food.kif 2421-2423
Pianta
is
uguale
a
PlantFn
CashewNut
Pianta
è una
sottoclasse
di
BotanicalTree
(=>
(
equal
?P
(
PlantFn
Celery
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2427-2429
Pianta
is
uguale
a
PlantFn
Celery
Pianta
è una
sottoclasse
di
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Cilantro
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2529-2531
Pianta
is
uguale
a
PlantFn
Cilantro
Pianta
è una
sottoclasse
di
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Garlic
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2584-2586
Pianta
is
uguale
a
PlantFn
Garlic
Pianta
è una
sottoclasse
di
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Mint
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2672-2674
Pianta
is
uguale
a
PlantFn
Mint
Pianta
è una
sottoclasse
di
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Mustard
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2696-2698
Pianta
is
uguale
a
PlantFn
Mustard
Pianta
è una
sottoclasse
di
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Parsley
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2733-2735
Pianta
is
uguale
a
PlantFn
Parsley
Pianta
è una
sottoclasse
di
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Scallion
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 3360-3362
Pianta
is
uguale
a
PlantFn
Scallion
Pianta
è una
sottoclasse
di
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Sesame
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 3397-3399
Pianta
is
uguale
a
PlantFn
Sesame
Pianta
è una
sottoclasse
di
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Strawberry
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 3483-3485
Pianta
is
uguale
a
PlantFn
Strawberry
Pianta
è una
sottoclasse
di
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
TamarindFruit
))
(
subclass
?P
BotanicalTree
))
Food.kif 3489-3491
Pianta
is
uguale
a
PlantFn
TamarindFruit
Pianta
è una
sottoclasse
di
BotanicalTree
(=>
(
equal
?P
(
PlantFn
WineGrape
))
(
subclass
?P
GrapeVine
))
Economy.kif 4732-4735
Pianta
is
uguale
a
PlantFn
WineGrape
Pianta
è una
sottoclasse
di
GrapeVine
(=>
(
equal
?X
(
PlantFn
CommonWheatGrain
))
(
subclass
?X
CommonWheatGrass
))
Economy.kif 4066-4069
Pianta
is
uguale
a
PlantFn
CommonWheatGrain
Pianta
è una
sottoclasse
di
CommonWheatGrass
(=>
(
equal
?X
(
PlantFn
DurumWheatGrain
))
(
subclass
?X
DurumWheatGrass
))
Economy.kif 4076-4079
Pianta
is
uguale
a
PlantFn
DurumWheatGrain
Pianta
è una
sottoclasse
di
DurumWheatGrass
(=>
(
equal
?X
(
PlantFn
EinkornWheatGrain
))
(
subclass
?X
EinkornWheatGrass
))
Economy.kif 4096-4099
Pianta
is
uguale
a
PlantFn
EinkornWheatGrain
Pianta
è una
sottoclasse
di
EinkornWheatGrass
(=>
(
equal
?X
(
PlantFn
EmmerWheatGrain
))
(
subclass
?X
EmmerWheatGrass
))
Economy.kif 4086-4089
Pianta
is
uguale
a
PlantFn
EmmerWheatGrain
Pianta
è una
sottoclasse
di
EmmerWheatGrass
(=>
(
equal
?X
(
PlantFn
SpeltWheatGrain
))
(
subclass
?X
SpeltWheatGrass
))
Economy.kif 4107-4110
Pianta
is
uguale
a
PlantFn
SpeltWheatGrain
Pianta
è una
sottoclasse
di
SpeltWheatGrass
(=>
(
instance
?P
(
PlantFn
CoffeeArabica
))
(
instance
?P
CoffeaArabica
))
Economy.kif 4641-4643
Entit�
è un'
istanza
di
PlantFn
CoffeeArabica
Entit�
è un'
istanza
di
CoffeaArabica
(=>
(
instance
?P
(
PlantFn
CoffeeRobusta
))
(
instance
?P
CoffeaRobusta
))
Economy.kif 4665-4667
Entit�
è un'
istanza
di
PlantFn
CoffeeRobusta
Entit�
è un'
istanza
di
CoffeaRobusta
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