Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



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
(subclass PreparedFood Food) Food.kif 308-308 子類 已準備食物 and Food
(subclass PreparedFood Mixture) Food.kif 309-309 子類 已準備食物 and Mixture
(subclass DrinkingWater PreparedFood) Food.kif 218-218 子類 飲用水 and 已準備食物
(subclass Beverage PreparedFood) Food.kif 389-389 子類 Beverage and 已準備食物
(subclass Flour PreparedFood) Food.kif 1469-1469 子類 麵粉 and 已準備食物
(subclass BreadOrBiscuit PreparedFood) Food.kif 1555-1555 子類 麵包或餅乾 and 已準備食物
(subclass CookedDish PreparedFood) Food.kif 1575-1575 子類 CookedDish and 已準備食物
(subclass Dough PreparedFood) Food.kif 1599-1599 子類 麵團 and 已準備食物
(subclass SoupStock PreparedFood) Food.kif 1618-1618 子類 高湯 and 已準備食物
(subclass Jam PreparedFood) Food.kif 1748-1748 子類 Jam and 已準備食物
(subclass Sauce PreparedFood) Food.kif 2061-2061 子類 Sauce and 已準備食物
(subclass CuredMeat PreparedFood) Food.kif 2125-2125 子類 CuredMeat and 已準備食物
(subclass Chocolate PreparedFood) Food.kif 2435-2435 子類 Chocolate and 已準備食物
(subclass Pasta PreparedFood) Food.kif 2737-2737 子類 Pasta and 已準備食物
(subclass FermentedFood PreparedFood) Food.kif 2778-2778 子類 FermentedFood and 已準備食物
(subclass DairyArtifact PreparedFood) Food.kif 2817-2817 子類 乳製品 and 已準備食物
(subclass Raisin PreparedFood) Food.kif 3322-3322 子類 Raisin and 已準備食物
(subclass Sorbet PreparedFood) Food.kif 3440-3440 子類 Sorbet and 已準備食物
(subclass Tofu PreparedFood) Food.kif 3508-3508 子類 Tofu and 已準備食物
(subclass Spice PreparedFood) Economy.kif 4359-4359 子類 香料 and 已準備食物


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