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:
(=>
(
and
(
instance
?MENU
SetMenu
)
(
offers
?AGENT ?MENU)
(
catalogItem
?CLASS ?MENU)
(
subclass
?CLASS
PreparedFood
)
(
instance
?X ?VLASS)
(
instance
?Y ?CLASS)
(
not
(
equal
?X ?Y))
(
price
?X ?PRICE1 ?AGENT1)
(
price
?Y ?PRICE2 ?AGENT2))
(
equal
?PRICE1 ?PRICE2))
Dining.kif 189-201
如果
Catalog
是
SetMenu
的
instance
和
施事体
offers
拍卖样品在
那个 Catalog
和
有点 实体
是在
那个 Catalog
和
有点 实体
是
已准备食物
的
subclass
和
物理
是
类
的
instance
和
另一个 物理
是
那个 有点 实体
的
instance
和
那个 物理
不
equal
那个 另外 物理
和
那个 物理
是 对于
那个 施事体
1 的
price
货币测量
和
那个 另外 物理
是 对于
那个 施事体
2 的
price
另一个 货币测量
,
然后
那个 货币测量
equal
那个 另外 货币测量
(
subclass
PreparedFood
Food
)
Food.kif 308-308
已准备食物
是
Food
的
subclass
(
subclass
PreparedFood
Mixture
)
Food.kif 309-309
已准备食物
是
混合物
的
subclass
(
subclass
DrinkingWater
PreparedFood
)
Food.kif 218-218
饮用水
是
已准备食物
的
subclass
(
subclass
Beverage
PreparedFood
)
Food.kif 389-389
饮料
是
已准备食物
的
subclass
(
subclass
Flour
PreparedFood
)
Food.kif 1469-1469
面粉
是
已准备食物
的
subclass
(
subclass
BreadOrBiscuit
PreparedFood
)
Food.kif 1555-1555
面包或饼干
是
已准备食物
的
subclass
(
subclass
CookedDish
PreparedFood
)
Food.kif 1575-1575
CookedDish
是
已准备食物
的
subclass
(
subclass
Dough
PreparedFood
)
Food.kif 1599-1599
面团
是
已准备食物
的
subclass
(
subclass
SoupStock
PreparedFood
)
Food.kif 1618-1618
高汤
是
已准备食物
的
subclass
(
subclass
Jam
PreparedFood
)
Food.kif 1748-1748
Jam
是
已准备食物
的
subclass
(
subclass
Sauce
PreparedFood
)
Food.kif 2061-2061
Sauce
是
已准备食物
的
subclass
(
subclass
CuredMeat
PreparedFood
)
Food.kif 2125-2125
CuredMeat
是
已准备食物
的
subclass
(
subclass
Chocolate
PreparedFood
)
Food.kif 2435-2435
Chocolate
是
已准备食物
的
subclass
(
subclass
Pasta
PreparedFood
)
Food.kif 2737-2737
Pasta
是
已准备食物
的
subclass
(
subclass
FermentedFood
PreparedFood
)
Food.kif 2778-2778
FermentedFood
是
已准备食物
的
subclass
(
subclass
DairyArtifact
PreparedFood
)
Food.kif 2817-2817
乳制品
是
已准备食物
的
subclass
(
subclass
Raisin
PreparedFood
)
Food.kif 3322-3322
Raisin
是
已准备食物
的
subclass
(
subclass
Sorbet
PreparedFood
)
Food.kif 3440-3440
Sorbet
是
已准备食物
的
subclass
(
subclass
Tofu
PreparedFood
)
Food.kif 3508-3508
Tofu
是
已准备食物
的
subclass
(
subclass
Spice
PreparedFood
)
Economy.kif 4359-4359
香料
是
已准备食物
的
subclass
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