Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Corkage(corkage) |  | corkage |
| appearance as argument number 1 |
|
|
| (subclass Corkage ChargingAFee) | Dining.kif 105-105 | Corkage is a subclass of charging a fee |
| (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 | Corkage is a subclass of charging a fee |
| 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 | If X is an instance of corkage, then there exists Y such that Y is the amount charged in X |
| 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 | If All of the following hold: (1) X is a customer of Y (2) X charges Z in corkage for W (3) V is an instance of W (4) there doesn't exist U such that U is an instance of buying, V is a patient of U, U ends up at Y, and U originates at X (5) T is an instance of drinking (6) Y is an agent of T (7) V is a resource for T, then there exists S such that S is an instance of corkage, Y is an agent of S, S includes a reference to V, and S ends up at X |
|