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 ist eine teilkategorie von Restaurant |
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 |
|