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 PreparedFood は Food の subclass では %n
(subclass PreparedFood Mixture) Food.kif 309-309 PreparedFood は 混合物 の subclass では %n
(subclass DrinkingWater PreparedFood) Food.kif 218-218 DrinkingWater は PreparedFood の subclass では %n
(subclass Beverage PreparedFood) Food.kif 389-389 飲料 は PreparedFood の subclass では %n
(subclass Flour PreparedFood) Food.kif 1469-1469 Flour は PreparedFood の subclass では %n
(subclass BreadOrBiscuit PreparedFood) Food.kif 1555-1555 BreadOrBiscuit は PreparedFood の subclass では %n
(subclass CookedDish PreparedFood) Food.kif 1575-1575 CookedDish は PreparedFood の subclass では %n
(subclass Dough PreparedFood) Food.kif 1599-1599 Dough は PreparedFood の subclass では %n
(subclass SoupStock PreparedFood) Food.kif 1618-1618 SoupStock は PreparedFood の subclass では %n
(subclass Jam PreparedFood) Food.kif 1748-1748 Jam は PreparedFood の subclass では %n
(subclass Sauce PreparedFood) Food.kif 2061-2061 Sauce は PreparedFood の subclass では %n
(subclass CuredMeat PreparedFood) Food.kif 2125-2125 CuredMeat は PreparedFood の subclass では %n
(subclass Chocolate PreparedFood) Food.kif 2435-2435 Chocolate は PreparedFood の subclass では %n
(subclass Pasta PreparedFood) Food.kif 2737-2737 Pasta は PreparedFood の subclass では %n
(subclass FermentedFood PreparedFood) Food.kif 2778-2778 FermentedFood は PreparedFood の subclass では %n
(subclass DairyArtifact PreparedFood) Food.kif 2817-2817 DairyArtifact は PreparedFood の subclass では %n
(subclass Raisin PreparedFood) Food.kif 3322-3322 Raisin は PreparedFood の subclass では %n
(subclass Sorbet PreparedFood) Food.kif 3440-3440 Sorbet は PreparedFood の subclass では %n
(subclass Tofu PreparedFood) Food.kif 3508-3508 Tofu は PreparedFood の subclass では %n
(subclass Spice PreparedFood) Economy.kif 4359-4359 Spice は PreparedFood の 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