|
|
   Menu
|
|
|
| appearance as argument number 1 |
|
|
| (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 | |
| (subclass Menu Catalog) | Dining.kif 172-172 | Menu est une sous-classe de Catalog |
| appearance as argument number 2 |
|
|
| (subclass BeverageMenu Menu) | Dining.kif 203-203 | BeverageMenu est une sous-classe de Menu |
| (subclass SetMenu Menu) | Dining.kif 184-184 | SetMenu est une sous-classe de Menu |
| (termFormat EnglishLanguage Menu "menu") | Dining.kif 176-176 |
| antecedent |
|
|
| (=> (and (instance ?MENU Menu) (catalogItem ?X ?MENU)) (subclass ?X (FoodForFn Human))) |
Dining.kif 178-182 |
|
|
|