Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Steakhouse(steakhouse) |  | chophouse, steakhouse |
| appearance as argument number 1 |
|
|
| (subclass Steakhouse Restaurant) | Dining.kif 83-83 | Steakhouse is a subclass of restaurant |
| (documentation Steakhouse EnglishLanguage "a type of Restaurant that specializes in serving steak, which is cooked Beef") | Dining.kif 84-85 | Steakhouse is a subclass of 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 | If X is an instance of steakhouse, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that V is an instance of cooking (3) W is an instance of beef (4) W is a resource for V (5) Z is a result of V (6) Y is an instance of commercial service (7) X is an agent of Y (8) Y is an instance of selling (9) Z is a patient of Y |
|