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
O argumento numero 1 de
PlantFn
e' uma
sub
-classe de
PlantAnatomicalStructure
(
instance
PlantFn
UnaryFunction
)
Food.kif 3351-3351
PlantFn
e' uma
instancia
de
funcao Unaria
(
rangeSubclass
PlantFn
Plant
)
Food.kif 3353-3353
Os valores retornados por
PlantFn
sao as
sub
-classes de
Planta
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
Planta
e'
igual
a
PlantFn
Apple
Planta
e' uma
sub
-classe de
DeciduousTree
(=>
(
equal
?P
(
PlantFn
Basil
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2170-2172
Planta
e'
igual
a
PlantFn
Basil
Planta
e' uma
sub
-classe de
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Blueberry
))
(
subclass
?P
Shrub
))
Food.kif 2210-2212
Planta
e'
igual
a
PlantFn
Blueberry
Planta
e' uma
sub
-classe de
Shrub
(=>
(
equal
?P
(
PlantFn
Broccoli
))
(
subclass
?P
CabbagePlant
))
Food.kif 2396-2398
Planta
e'
igual
a
PlantFn
Broccoli
Planta
e' uma
sub
-classe de
CabbagePlant
(=>
(
equal
?P
(
PlantFn
ButternutSquash
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2403-2405
Planta
e'
igual
a
PlantFn
ButternutSquash
Planta
e' uma
sub
-classe de
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
CashewNut
))
(
subclass
?P
BotanicalTree
))
Food.kif 2421-2423
Planta
e'
igual
a
PlantFn
CashewNut
Planta
e' uma
sub
-classe de
BotanicalTree
(=>
(
equal
?P
(
PlantFn
Celery
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2427-2429
Planta
e'
igual
a
PlantFn
Celery
Planta
e' uma
sub
-classe de
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Cilantro
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2529-2531
Planta
e'
igual
a
PlantFn
Cilantro
Planta
e' uma
sub
-classe de
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Garlic
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2584-2586
Planta
e'
igual
a
PlantFn
Garlic
Planta
e' uma
sub
-classe de
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Mint
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2672-2674
Planta
e'
igual
a
PlantFn
Mint
Planta
e' uma
sub
-classe de
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Mustard
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2696-2698
Planta
e'
igual
a
PlantFn
Mustard
Planta
e' uma
sub
-classe de
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Parsley
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2733-2735
Planta
e'
igual
a
PlantFn
Parsley
Planta
e' uma
sub
-classe de
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Scallion
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 3360-3362
Planta
e'
igual
a
PlantFn
Scallion
Planta
e' uma
sub
-classe de
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Sesame
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 3397-3399
Planta
e'
igual
a
PlantFn
Sesame
Planta
e' uma
sub
-classe de
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Strawberry
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 3483-3485
Planta
e'
igual
a
PlantFn
Strawberry
Planta
e' uma
sub
-classe de
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
TamarindFruit
))
(
subclass
?P
BotanicalTree
))
Food.kif 3489-3491
Planta
e'
igual
a
PlantFn
TamarindFruit
Planta
e' uma
sub
-classe de
BotanicalTree
(=>
(
equal
?P
(
PlantFn
WineGrape
))
(
subclass
?P
GrapeVine
))
Economy.kif 4732-4735
Planta
e'
igual
a
PlantFn
WineGrape
Planta
e' uma
sub
-classe de
GrapeVine
(=>
(
equal
?X
(
PlantFn
CommonWheatGrain
))
(
subclass
?X
CommonWheatGrass
))
Economy.kif 4066-4069
Planta
e'
igual
a
PlantFn
CommonWheatGrain
Planta
e' uma
sub
-classe de
CommonWheatGrass
(=>
(
equal
?X
(
PlantFn
DurumWheatGrain
))
(
subclass
?X
DurumWheatGrass
))
Economy.kif 4076-4079
Planta
e'
igual
a
PlantFn
DurumWheatGrain
Planta
e' uma
sub
-classe de
DurumWheatGrass
(=>
(
equal
?X
(
PlantFn
EinkornWheatGrain
))
(
subclass
?X
EinkornWheatGrass
))
Economy.kif 4096-4099
Planta
e'
igual
a
PlantFn
EinkornWheatGrain
Planta
e' uma
sub
-classe de
EinkornWheatGrass
(=>
(
equal
?X
(
PlantFn
EmmerWheatGrain
))
(
subclass
?X
EmmerWheatGrass
))
Economy.kif 4086-4089
Planta
e'
igual
a
PlantFn
EmmerWheatGrain
Planta
e' uma
sub
-classe de
EmmerWheatGrass
(=>
(
equal
?X
(
PlantFn
SpeltWheatGrain
))
(
subclass
?X
SpeltWheatGrass
))
Economy.kif 4107-4110
Planta
e'
igual
a
PlantFn
SpeltWheatGrain
Planta
e' uma
sub
-classe de
SpeltWheatGrass
(=>
(
instance
?P
(
PlantFn
CoffeeArabica
))
(
instance
?P
CoffeaArabica
))
Economy.kif 4641-4643
Entidade
e' uma
instancia
de
PlantFn
CoffeeArabica
Entidade
e' uma
instancia
de
CoffeaArabica
(=>
(
instance
?P
(
PlantFn
CoffeeRobusta
))
(
instance
?P
CoffeaRobusta
))
Economy.kif 4665-4667
Entidade
e' uma
instancia
de
PlantFn
CoffeeRobusta
Entidade
e' uma
instancia
de
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