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
PlantFn
的 1 数量 是
植物解剖结构
的
subclass
(
instance
PlantFn
UnaryFunction
)
Food.kif 3351-3351
PlantFn
是
一元函数
的
instance
(
rangeSubclass
PlantFn
Plant
)
Food.kif 3353-3353
PlantFn
的所得值 是
植物
的
subclass
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
如果
有点 植物
equal
PlantFn
苹果
,
然后
有点 植物
是
DeciduousTree
的
subclass
(=>
(
equal
?P
(
PlantFn
Basil
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2170-2172
如果
有点 植物
equal
PlantFn
Basil
,
然后
有点 植物
是
HerbaceousPlant
的
subclass
(=>
(
equal
?P
(
PlantFn
Blueberry
))
(
subclass
?P
Shrub
))
Food.kif 2210-2212
如果
有点 植物
equal
PlantFn
Blueberry
,
然后
有点 植物
是
灌木
的
subclass
(=>
(
equal
?P
(
PlantFn
Broccoli
))
(
subclass
?P
CabbagePlant
))
Food.kif 2396-2398
如果
有点 植物
equal
PlantFn
Broccoli
,
然后
有点 植物
是
CabbagePlant
的
subclass
(=>
(
equal
?P
(
PlantFn
ButternutSquash
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2403-2405
如果
有点 植物
equal
PlantFn
ButternutSquash
,
然后
有点 植物
是
HerbaceousPlant
的
subclass
(=>
(
equal
?P
(
PlantFn
CashewNut
))
(
subclass
?P
BotanicalTree
))
Food.kif 2421-2423
如果
有点 植物
equal
PlantFn
腰果
,
然后
有点 植物
是
植物树
的
subclass
(=>
(
equal
?P
(
PlantFn
Celery
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2427-2429
如果
有点 植物
equal
PlantFn
Celery
,
然后
有点 植物
是
HerbaceousPlant
的
subclass
(=>
(
equal
?P
(
PlantFn
Cilantro
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2529-2531
如果
有点 植物
equal
PlantFn
Cilantro
,
然后
有点 植物
是
HerbaceousPlant
的
subclass
(=>
(
equal
?P
(
PlantFn
Garlic
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2584-2586
如果
有点 植物
equal
PlantFn
Garlic
,
然后
有点 植物
是
HerbaceousPlant
的
subclass
(=>
(
equal
?P
(
PlantFn
Mint
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2672-2674
如果
有点 植物
equal
PlantFn
Mint
,
然后
有点 植物
是
HerbaceousPlant
的
subclass
(=>
(
equal
?P
(
PlantFn
Mustard
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2696-2698
如果
有点 植物
equal
PlantFn
Mustard
,
然后
有点 植物
是
HerbaceousPlant
的
subclass
(=>
(
equal
?P
(
PlantFn
Parsley
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2733-2735
如果
有点 植物
equal
PlantFn
Parsley
,
然后
有点 植物
是
HerbaceousPlant
的
subclass
(=>
(
equal
?P
(
PlantFn
Scallion
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 3360-3362
如果
有点 植物
equal
PlantFn
Scallion
,
然后
有点 植物
是
HerbaceousPlant
的
subclass
(=>
(
equal
?P
(
PlantFn
Sesame
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 3397-3399
如果
有点 植物
equal
PlantFn
芝麻
,
然后
有点 植物
是
HerbaceousPlant
的
subclass
(=>
(
equal
?P
(
PlantFn
Strawberry
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 3483-3485
如果
有点 植物
equal
PlantFn
Strawberry
,
然后
有点 植物
是
HerbaceousPlant
的
subclass
(=>
(
equal
?P
(
PlantFn
TamarindFruit
))
(
subclass
?P
BotanicalTree
))
Food.kif 3489-3491
如果
有点 植物
equal
PlantFn
TamarindFruit
,
然后
有点 植物
是
植物树
的
subclass
(=>
(
equal
?P
(
PlantFn
WineGrape
))
(
subclass
?P
GrapeVine
))
Economy.kif 4732-4735
如果
有点 植物
equal
PlantFn
酿酒葡萄
,
然后
有点 植物
是
GrapeVine
的
subclass
(=>
(
equal
?X
(
PlantFn
CommonWheatGrain
))
(
subclass
?X
CommonWheatGrass
))
Economy.kif 4066-4069
如果
有点 植物
equal
PlantFn
CommonWheatGrain
,
然后
有点 植物
是
CommonWheatGrass
的
subclass
(=>
(
equal
?X
(
PlantFn
DurumWheatGrain
))
(
subclass
?X
DurumWheatGrass
))
Economy.kif 4076-4079
如果
有点 植物
equal
PlantFn
DurumWheatGrain
,
然后
有点 植物
是
DurumWheatGrass
的
subclass
(=>
(
equal
?X
(
PlantFn
EinkornWheatGrain
))
(
subclass
?X
EinkornWheatGrass
))
Economy.kif 4096-4099
如果
有点 植物
equal
PlantFn
EinkornWheatGrain
,
然后
有点 植物
是
EinkornWheatGrass
的
subclass
(=>
(
equal
?X
(
PlantFn
EmmerWheatGrain
))
(
subclass
?X
EmmerWheatGrass
))
Economy.kif 4086-4089
如果
有点 植物
equal
PlantFn
EmmerWheatGrain
,
然后
有点 植物
是
EmmerWheatGrass
的
subclass
(=>
(
equal
?X
(
PlantFn
SpeltWheatGrain
))
(
subclass
?X
SpeltWheatGrass
))
Economy.kif 4107-4110
如果
有点 植物
equal
PlantFn
SpeltWheatGrain
,
然后
有点 植物
是
SpeltWheatGrass
的
subclass
(=>
(
instance
?P
(
PlantFn
CoffeeArabica
))
(
instance
?P
CoffeaArabica
))
Economy.kif 4641-4643
如果
实体
是
PlantFn
CoffeeArabica
的
instance
,
然后
那个 实体
是
CoffeaArabica
的
instance
(=>
(
instance
?P
(
PlantFn
CoffeeRobusta
))
(
instance
?P
CoffeaRobusta
))
Economy.kif 4665-4667
如果
实体
是
PlantFn
CoffeeRobusta
的
instance
,
然后
那个 实体
是
CoffeaRobusta
的
instance
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