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
Basil
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2170-2172
等於
Plant
and
PlantFn
Basil
子類
Plant
and
HerbaceousPlant
(=>
(
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
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
?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
Parsley
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2733-2735
等於
Plant
and
PlantFn
Parsley
子類
Plant
and
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Strawberry
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 3483-3485
等於
Plant
and
PlantFn
Strawberry
子類
Plant
and
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Mustard
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2696-2698
等於
Plant
and
PlantFn
Mustard
子類
Plant
and
HerbaceousPlant
(
subclass
HerbaceousPlant
FloweringPlant
)
Mid-level-ontology.kif 9355-9355
子類
HerbaceousPlant
and
FloweringPlant
(
subclass
Grass
HerbaceousPlant
)
Mid-level-ontology.kif 9371-9371
子類
草
and
HerbaceousPlant
(
subclass
Tobacco
HerbaceousPlant
)
Mid-level-ontology.kif 9380-9380
子類
煙草
and
HerbaceousPlant
(
subclass
CucumberPlant
HerbaceousPlant
)
Economy.kif 4229-4229
子類
CucumberPlant
and
HerbaceousPlant
(
subclass
CabbagePlant
HerbaceousPlant
)
Economy.kif 4257-4257
子類
CabbagePlant
and
HerbaceousPlant
(
subclass
EggplantPlant
HerbaceousPlant
)
Economy.kif 4283-4283
子類
EggplantPlant
and
HerbaceousPlant
(
subclass
Sunflower
HerbaceousPlant
)
Economy.kif 4506-4506
子類
向日葵
and
HerbaceousPlant
(
subclass
AlfalfaPlant
HerbaceousPlant
)
Economy.kif 4820-4820
子類
AlfalfaPlant
and
HerbaceousPlant
(
subclass
CloverPlant
HerbaceousPlant
)
Economy.kif 4834-4834
子類
CloverPlant
and
HerbaceousPlant
(
subclass
Poppy
HerbaceousPlant
)
Economy.kif 4860-4860
子類
罌粟
and
HerbaceousPlant
(
subclass
Orchid
HerbaceousPlant
)
Economy.kif 4866-4866
子類
蘭花
and
HerbaceousPlant
(
subclass
Chrysanthemum
HerbaceousPlant
)
Economy.kif 4870-4870
子類
菊花
and
HerbaceousPlant
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