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