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:
(
subclass
VegetableOil
FoodFromPlant
)
Economy.kif 4556-4556
VegetableOil
は
FoodFromPlant
の
subclass
では %n
(
subclass
VegetableOil
Mixture
)
Economy.kif 4557-4557
VegetableOil
は
混合物
の
subclass
では %n
(
subclass
VegetableOil
OilFromPlant
)
Economy.kif 4558-4558
VegetableOil
は
OilFromPlant
の
subclass
では %n
(
subclass
CocoaButter
VegetableOil
)
Food.kif 2486-2486
CocoaButter
は
VegetableOil
の
subclass
では %n
(
subclass
PalmOil
VegetableOil
)
Economy.kif 4561-4561
PalmOil
は
VegetableOil
の
subclass
では %n
(
subclass
OliveOil
VegetableOil
)
Economy.kif 4562-4562
OliveOil
は
VegetableOil
の
subclass
では %n
(
subclass
SoybeanOil
VegetableOil
)
Economy.kif 4565-4565
SoybeanOil
は
VegetableOil
の
subclass
では %n
(
subclass
GrapeSeedOil
VegetableOil
)
Economy.kif 4568-4568
GrapeSeedOil
は
VegetableOil
の
subclass
では %n
(
subclass
RapeseedOil
VegetableOil
)
Economy.kif 4569-4569
RapeseedOil
は
VegetableOil
の
subclass
では %n
(
subclass
CanolaOil
VegetableOil
)
Economy.kif 4570-4570
CanolaOil
は
VegetableOil
の
subclass
では %n
(
subclass
SunFlowerOil
VegetableOil
)
Economy.kif 4571-4571
SunFlowerOil
は
VegetableOil
の
subclass
では %n
(
subclass
SafflowerOil
VegetableOil
)
Economy.kif 4574-4574
SafflowerOil
は
VegetableOil
の
subclass
では %n
(
subclass
GroundnutOil
VegetableOil
)
Economy.kif 4575-4575
GroundnutOil
は
VegetableOil
の
subclass
では %n
(
subclass
CottonSeedOil
VegetableOil
)
Economy.kif 4578-4578
CottonSeedOil
は
VegetableOil
の
subclass
では %n
(
subclass
CoconutOil
VegetableOil
)
Economy.kif 4579-4579
CoconutOil
は
VegetableOil
の
subclass
では %n
(
subclass
AvocadoOil
VegetableOil
)
Economy.kif 4582-4582
AvocadoOil
は
VegetableOil
の
subclass
では %n
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