Steakhouse |
appearance as argument number 1 |
(documentation Steakhouse EnglishLanguage "a type of Restaurant that specializes in serving steak, which is cooked Beef") | Dining.kif 84-85 | |
(subclass Steakhouse Restaurant) | Dining.kif 83-83 | 子類 Steakhouse and 餐廳 |
appearance as argument number 2 |
(termFormat EnglishLanguage Steakhouse "steakhouse") | Dining.kif 86-86 |
antecedent |
(=> (instance ?STEAKHOUSE Steakhouse) (exists (?SERVICE ?STEAK ?BEEF ?COOK) (and (instance ?COOK Cooking) (instance ?BEEF Beef) (resource ?COOK ?BEEF) (result ?COOK ?STEAK) (instance ?SERVICE CommercialService) (agent ?SERVICE ?STEAKHOUSE) (instance ?SERVICE Selling) (patient ?SERVICE ?STEAK)))) |
Dining.kif 88-99 |