| Coffeeshop | |
| appearance as argument number 1 |
|
|
| (documentation Coffeeshop EnglishLanguage "a type of Cafeteria that specializes in serving Coffee") | Dining.kif 32-33 | |
| (subclass Coffeeshop Cafeteria) | Dining.kif 31-31 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Coffeeshop "coffee shop") | Dining.kif 34-34 |
| antecedent |
|
|
| (=> (instance ?COMPANY Coffeeshop) (exists (?SERVICE ?BEVERAGE) (and (instance ?SERVICE CommercialService) (agent ?SERVICE ?COMPANY) (instance ?SERVICE Selling) (patient ?SERVICE ?BEVERAGE) (instance ?BEVERAGE Coffee)))) |
Dining.kif 36-44 |
|
|
|