| Menu(menu) | | a_la_carte, bill_of_fare, card, carte, carte_du_jour, menu, table_d'hote |
| appearance as argument number 1 |
|
|
| (subclass Menu Catalog) | Dining.kif 172-172 | Menu is a subclass of catalog |
| (documentation Menu EnglishLanguage "a Menu is a type of Catalog that specifically contains the classes of food that is expected to be or proposed to be cooked and served") | Dining.kif 173-175 | Menu is a subclass of catalog |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Menu "menu") | Dining.kif 176-176 | |
| (subclass SetMenu Menu) | Dining.kif 184-184 | Set menu is a subclass of menu |
| (subclass BeverageMenu Menu) | Dining.kif 203-203 | Drinks menu is a subclass of menu |
| antecedent |
|
|
| (=> (and (instance ?MENU Menu) (catalogItem ?X ?MENU)) (subclass ?X (FoodForFn Human))) |
Dining.kif 178-182 | If X is an instance of menu and Y is in X, then Y is a subclass of food for human |
|
|
|