Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Coffeeshop(coffee shop) |  | cafe, coffee_bar, coffee_shop, coffeehouse |
| appearance as argument number 1 |
|
|
| (subclass Coffeeshop Cafeteria) | Dining.kif 31-31 | Coffee shop is a subclass of cafeteria |
| (documentation Coffeeshop EnglishLanguage "a type of Cafeteria that specializes in serving Coffee") | Dining.kif 32-33 | Coffee shop is a subclass of cafeteria |
| 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 | If X is an instance of coffee shop, then there exist Y, Z such that Y is an instance of commercial service, X is an agent of Y, Y is an instance of selling, Z is a patient of Y, and Z is an instance of coffee |
|