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