|
|
   Corkage
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Corkage EnglishLanguage "Corkage is a FinancialTransaction imposed by an AutonomousAgent to a customer for bringing items not purchased from AutonomousAgent") | Dining.kif 106-107 | |
| (subclass Corkage ChargingAFee) | Dining.kif 105-105 |
| 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 |
|
|
|