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 Prepared food is a subclass of food
(subclass PreparedFood Mixture) Food.kif 309-309 Prepared food is a subclass of mixture
(subclass DrinkingWater PreparedFood) Food.kif 218-218 Potable water is a subclass of prepared food
(subclass Beverage PreparedFood) Food.kif 389-389 Beverage is a subclass of prepared food
(subclass Flour PreparedFood) Food.kif 1469-1469 Flour is a subclass of prepared food
(subclass BreadOrBiscuit PreparedFood) Food.kif 1555-1555 Bread or biscuit is a subclass of prepared food
(subclass CookedDish PreparedFood) Food.kif 1575-1575 Cooked dish is a subclass of prepared food
(subclass Dough PreparedFood) Food.kif 1599-1599 Dough is a subclass of prepared food
(subclass SoupStock PreparedFood) Food.kif 1618-1618 Soup stock is a subclass of prepared food
(subclass Jam PreparedFood) Food.kif 1748-1748 Jam is a subclass of prepared food
(subclass Sauce PreparedFood) Food.kif 2061-2061 Sauce is a subclass of prepared food
(subclass CuredMeat PreparedFood) Food.kif 2125-2125 Cured meat is a subclass of prepared food
(subclass Chocolate PreparedFood) Food.kif 2435-2435 Chocolate is a subclass of prepared food
(subclass Pasta PreparedFood) Food.kif 2737-2737 Pasta is a subclass of prepared food
(subclass FermentedFood PreparedFood) Food.kif 2778-2778 Fermented food is a subclass of prepared food
(subclass DairyArtifact PreparedFood) Food.kif 2817-2817 Dairy product is a subclass of prepared food
(subclass Raisin PreparedFood) Food.kif 3322-3322 Raisin is a subclass of prepared food
(subclass Sorbet PreparedFood) Food.kif 3440-3440 Sorbet is a subclass of prepared food
(subclass Tofu PreparedFood) Food.kif 3508-3508 Tofu is a subclass of prepared food
(subclass Spice PreparedFood) Economy.kif 4359-4359 Spice is a subclass of prepared food


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