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
等於
Plant
and
PlantFn
Broccoli
子類
Plant
and
CabbagePlant
(=>
(
equal
?X
(
PlantFn
SpeltWheatGrain
))
(
subclass
?X
SpeltWheatGrass
))
Economy.kif 4107-4110
等於
Plant
and
PlantFn
SpeltWheatGrain
子類
Plant
and
SpeltWheatGrass
(=>
(
equal
?P
(
PlantFn
CashewNut
))
(
subclass
?P
BotanicalTree
))
Food.kif 2421-2423
等於
Plant
and
PlantFn
腰果
子類
Plant
and
植物樹
(=>
(
equal
?P
(
PlantFn
Mint
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2672-2674
等於
Plant
and
PlantFn
Mint
子類
Plant
and
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Sesame
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 3397-3399
等於
Plant
and
PlantFn
芝麻
子類
Plant
and
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Apple
))
(
subclass
?P
DeciduousTree
))
Food.kif 2184-2186
等於
Plant
and
PlantFn
蘋果
子類
Plant
and
DeciduousTree
(=>
(
equal
?P
(
PlantFn
Blueberry
))
(
subclass
?P
Shrub
))
Food.kif 2210-2212
等於
Plant
and
PlantFn
Blueberry
子類
Plant
and
灌木
(=>
(
equal
?X
(
PlantFn
DurumWheatGrain
))
(
subclass
?X
DurumWheatGrass
))
Economy.kif 4076-4079
等於
Plant
and
PlantFn
DurumWheatGrain
子類
Plant
and
DurumWheatGrass
(=>
(
equal
?P
(
PlantFn
ButternutSquash
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2403-2405
等於
Plant
and
PlantFn
ButternutSquash
子類
Plant
and
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Garlic
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2584-2586
等於
Plant
and
PlantFn
Garlic
子類
Plant
and
HerbaceousPlant
(=>
(
equal
?X
(
PlantFn
EmmerWheatGrain
))
(
subclass
?X
EmmerWheatGrass
))
Economy.kif 4086-4089
等於
Plant
and
PlantFn
EmmerWheatGrain
子類
Plant
and
EmmerWheatGrass
(=>
(
equal
?P
(
PlantFn
Celery
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2427-2429
等於
Plant
and
PlantFn
Celery
子類
Plant
and
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Cilantro
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2529-2531
等於
Plant
and
PlantFn
Cilantro
子類
Plant
and
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Scallion
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 3360-3362
等於
Plant
and
PlantFn
Scallion
子類
Plant
and
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Strawberry
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 3483-3485
等於
Plant
and
PlantFn
Strawberry
子類
Plant
and
HerbaceousPlant
(=>
(
equal
?X
(
PlantFn
EinkornWheatGrain
))
(
subclass
?X
EinkornWheatGrass
))
Economy.kif 4096-4099
等於
Plant
and
PlantFn
EinkornWheatGrain
子類
Plant
and
EinkornWheatGrass
(=>
(
equal
?P
(
PlantFn
Basil
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2170-2172
等於
Plant
and
PlantFn
Basil
子類
Plant
and
HerbaceousPlant
(=>
(
equal
?X
(
PlantFn
CommonWheatGrain
))
(
subclass
?X
CommonWheatGrass
))
Economy.kif 4066-4069
等於
Plant
and
PlantFn
CommonWheatGrain
子類
Plant
and
CommonWheatGrass
(=>
(
equal
?P
(
PlantFn
WineGrape
))
(
subclass
?P
GrapeVine
))
Economy.kif 4732-4735
等於
Plant
and
PlantFn
釀酒葡萄
子類
Plant
and
GrapeVine
(=>
(
equal
?P
(
PlantFn
Parsley
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2733-2735
等於
Plant
and
PlantFn
Parsley
子類
Plant
and
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Mustard
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2696-2698
等於
Plant
and
PlantFn
Mustard
子類
Plant
and
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
TamarindFruit
))
(
subclass
?P
BotanicalTree
))
Food.kif 3489-3491
等於
Plant
and
PlantFn
TamarindFruit
子類
Plant
and
植物樹
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