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
Wenn
Catalog
ist ein
fall
von
SetMenu
%n{nicht} und
offers
AutonomousAgent
and
** Catalog
und
catalogItem
** Entity
and
** Catalog
und
** Entity
ist eine
teilkategorie
von
PreparedFood
und
Physical
ist ein
fall
von
Class
%n{nicht} und
** Physical
ist ein
fall
von
** ** Entity
%n{nicht} und
** Physical
ist gleich
** ** Physical
nicht und
price
** Physical
,
CurrencyMeasure
and
** AutonomousAgent
und
price
** ** Physical
,
** CurrencyMeasure
and
** AutonomousAgent
,
dann
** CurrencyMeasure
ist gleich
** ** CurrencyMeasure
%n{nicht}
(
subclass
PreparedFood
Food
)
Food.kif 308-308
PreparedFood
ist eine
teilkategorie
von
Food
(
subclass
PreparedFood
Mixture
)
Food.kif 309-309
PreparedFood
ist eine
teilkategorie
von
Mixture
(
subclass
DrinkingWater
PreparedFood
)
Food.kif 218-218
DrinkingWater
ist eine
teilkategorie
von
PreparedFood
(
subclass
Beverage
PreparedFood
)
Food.kif 389-389
Beverage
ist eine
teilkategorie
von
PreparedFood
(
subclass
Flour
PreparedFood
)
Food.kif 1469-1469
Flour
ist eine
teilkategorie
von
PreparedFood
(
subclass
BreadOrBiscuit
PreparedFood
)
Food.kif 1555-1555
BreadOrBiscuit
ist eine
teilkategorie
von
PreparedFood
(
subclass
CookedDish
PreparedFood
)
Food.kif 1575-1575
CookedDish
ist eine
teilkategorie
von
PreparedFood
(
subclass
Dough
PreparedFood
)
Food.kif 1599-1599
Dough
ist eine
teilkategorie
von
PreparedFood
(
subclass
SoupStock
PreparedFood
)
Food.kif 1618-1618
SoupStock
ist eine
teilkategorie
von
PreparedFood
(
subclass
Jam
PreparedFood
)
Food.kif 1748-1748
Jam
ist eine
teilkategorie
von
PreparedFood
(
subclass
Sauce
PreparedFood
)
Food.kif 2061-2061
Sauce
ist eine
teilkategorie
von
PreparedFood
(
subclass
CuredMeat
PreparedFood
)
Food.kif 2125-2125
CuredMeat
ist eine
teilkategorie
von
PreparedFood
(
subclass
Chocolate
PreparedFood
)
Food.kif 2435-2435
Chocolate
ist eine
teilkategorie
von
PreparedFood
(
subclass
Pasta
PreparedFood
)
Food.kif 2737-2737
Pasta
ist eine
teilkategorie
von
PreparedFood
(
subclass
FermentedFood
PreparedFood
)
Food.kif 2778-2778
FermentedFood
ist eine
teilkategorie
von
PreparedFood
(
subclass
DairyArtifact
PreparedFood
)
Food.kif 2817-2817
DairyArtifact
ist eine
teilkategorie
von
PreparedFood
(
subclass
Raisin
PreparedFood
)
Food.kif 3322-3322
Raisin
ist eine
teilkategorie
von
PreparedFood
(
subclass
Sorbet
PreparedFood
)
Food.kif 3440-3440
Sorbet
ist eine
teilkategorie
von
PreparedFood
(
subclass
Tofu
PreparedFood
)
Food.kif 3508-3508
Tofu
ist eine
teilkategorie
von
PreparedFood
(
subclass
Spice
PreparedFood
)
Economy.kif 4359-4359
Spice
ist eine
teilkategorie
von
PreparedFood
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