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
?M
Meat
)
(
exists
(?DA ?AC)
(
and
(
instance
?DA
(
DeadFn
?AC))
(
part
?M ?DA)
(
subclass
?AC
Animal
))))
Food.kif 1909-1915
オブジェクト
は
肉
の
instance
では %n
オブジェクト
有機物
オブジェクト
は
DeadFn
有機物
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
有機物
は
動物
の
subclass
では %n
(=>
(
and
(
equal
?M
(
OrganicObjectFn
?A))
(
subclass
?M
Meat
))
(
subclass
?A
Animal
))
Economy.kif 4945-4950
オブジェクト
は
OrganicObjectFn
有機物
と
equal
では %n
オブジェクト
は
肉
の
subclass
では %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
Meat
AnimalSubstance
)
Merge.kif 14922-14922
肉
は
AnimalSubstance
の
subclass
では %n
(
subclass
Meat
Food
)
Food.kif 291-291
肉
は
Food
の
subclass
では %n
(
subclass
Beef
Meat
)
Mid-level-ontology.kif 20394-20394
Beef
は
肉
の
subclass
では %n
(
subclass
ChickenMeat
Meat
)
Mid-level-ontology.kif 20399-20399
ChickenMeat
は
肉
の
subclass
では %n
(
subclass
Pork
Meat
)
Mid-level-ontology.kif 20401-20401
Pork
は
肉
の
subclass
では %n
(
subclass
Egg
Meat
)
Merge.kif 15072-15072
Egg
は
肉
の
subclass
では %n
(
subclass
Seafood
Meat
)
Food.kif 1921-1921
Seafood
は
肉
の
subclass
では %n
(
subclass
PoultryMeat
Meat
)
Food.kif 2028-2028
PoultryMeat
は
肉
の
subclass
では %n
(
subclass
CuredMeat
Meat
)
Food.kif 2126-2126
CuredMeat
は
肉
の
subclass
では %n
(
subclass
GoatMeat
Meat
)
Food.kif 2588-2588
GoatMeat
は
肉
の
subclass
では %n
(
subclass
LambMeat
Meat
)
Economy.kif 4952-4952
LambMeat
は
肉
の
subclass
では %n
(
subclass
Mutton
Meat
)
Economy.kif 4957-4957
Mutton
は
肉
の
subclass
では %n
(
subclass
Veal
Meat
)
Economy.kif 4970-4970
Veal
は
肉
の
subclass
では %n
(
subclass
WaterBuffaloMeat
Meat
)
Economy.kif 4975-4975
WaterBuffaloMeat
は
肉
の
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