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:
(=>
(
instance
?X
FoodFromPlant
)
(
exists
(?P ?CLASS)
(
and
(
instance
?P
(
DeadFn
?CLASS))
(
part
?X ?P)
(
subclass
?CLASS
Plant
))))
Food.kif 299-306
オブジェクト
は
FoodFromPlant
の
instance
では %n
オブジェクト
有機物
オブジェクト
は
DeadFn
有機物
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
有機物
は
植物
の
subclass
では %n
(=>
(
and
(
subclass
?S
Mixture
)
(
initialPart
?S
Meat
)
(
initialPart
?S
FoodFromPlant
)
(
initialPart
?S
DrinkingWater
))
(
equal
?S
SoupStock
))
Food.kif 1633-1639
オブジェクト
は
混合物
の
subclass
では %n
initialPart
オブジェクト
and
肉
initialPart
オブジェクト
and
FoodFromPlant
initialPart
オブジェクト
and
DrinkingWater
オブジェクト
は
SoupStock
と
equal
では %n
(
subclass
FoodFromPlant
Food
)
Food.kif 294-294
FoodFromPlant
は
Food
の
subclass
では %n
(
subclass
CoffeeGrind
FoodFromPlant
)
Food.kif 1029-1029
CoffeeGrind
は
FoodFromPlant
の
subclass
では %n
(
subclass
Flour
FoodFromPlant
)
Food.kif 1470-1470
Flour
は
FoodFromPlant
の
subclass
では %n
(
subclass
Raisin
FoodFromPlant
)
Food.kif 3323-3323
Raisin
は
FoodFromPlant
の
subclass
では %n
(
subclass
Tofu
FoodFromPlant
)
Food.kif 3509-3509
Tofu
は
FoodFromPlant
の
subclass
では %n
(
subclass
Grain
FoodFromPlant
)
Economy.kif 4149-4149
Grain
は
FoodFromPlant
の
subclass
では %n
(
subclass
CerealStarch
FoodFromPlant
)
Economy.kif 4307-4307
CerealStarch
は
FoodFromPlant
の
subclass
では %n
(
subclass
RootStarch
FoodFromPlant
)
Economy.kif 4312-4312
RootStarch
は
FoodFromPlant
の
subclass
では %n
(
subclass
Spice
FoodFromPlant
)
Economy.kif 4360-4360
Spice
は
FoodFromPlant
の
subclass
では %n
(
subclass
EdibleNut
FoodFromPlant
)
Economy.kif 4469-4469
EdibleNut
は
FoodFromPlant
の
subclass
では %n
(
subclass
VegetableOil
FoodFromPlant
)
Economy.kif 4556-4556
VegetableOil
は
FoodFromPlant
の
subclass
では %n
(
subclass
CoffeeBean
FoodFromPlant
)
Economy.kif 4625-4625
CoffeeBean
は
FoodFromPlant
の
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