Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SetMenu(set menu) |  | prix_fixe |
| appearance as argument number 1 |
|
|
| (subclass SetMenu Menu) | Dining.kif 184-184 | Set menu is a subclass of menu |
| (documentation SetMenu EnglishLanguage "a SetMenu is a type of Menu that contains a specific set of prepared food which is all served and is given one price") | Dining.kif 185-186 | Set menu is a subclass of menu |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SetMenu "set menu") | Dining.kif 187-187 |
| antecedent |
|
|
| (=> (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 | If All of the following hold: (1) X is an instance of set menu (2) Y offers items for sale in X (3) Z is in X (4) Z is a subclass of food (5) W is an instance of V (6) U is an instance of Z (7) equal W and U (8) W is price T for S (9) U is price R for Q, then equal T and R |
|