| Corkage | |
| appearance as argument number 1 |
|
|
| (documentation Corkage EnglishLanguage "Corkage is a FinancialTransaction imposed by an Agent to a customer for bringing items not purchased from Agent") | Dining.kif 106-107 | |
| (subclass Corkage ChargingAFee) | Dining.kif 105-105 | Corkage 是 收费 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Corkage "corkage") | Dining.kif 108-108 |
| antecedent |
|
|
| (=> (instance ?C Corkage) (exists (?AMT) (amountCharged ?C ?AMT))) |
Dining.kif 110-113 |
| consequent |
|
|
| (=> (and (customer ?CUST ?AGENT) (corkageFee ?AMT ?ITEM ?AGENT) (instance ?X ?ITEM) (not (exists (?B) (and (instance ?B Buying) (patient ?B ?X) (destination ?B ?CUST) (origin ?B ?AGENT)))) (instance ?D Drinking) (agent ?D ?CUST) (resource ?D ?X)) (exists (?C) (and (instance ?C Corkage) (agent ?C ?CUST) (refers ?C ?X) (destination ?C ?AGENT)))) |
Dining.kif 130-150 |
|
|
|
|