Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CheckOutService(check-out service) |  | check_out, feel_out, sound_out |
| appearance as argument number 1 |
|
|
| (subclass CheckOutService ServiceProcess) | Hotel.kif 2199-2199 | Check-out service is a subclass of service |
| (documentation CheckOutService EnglishLanguage "CheckOutService is a type of ServiceProcess where a customer announces his departure, signalling the end of the core service being offered to him. This is normally where bills are settled") | Hotel.kif 2200-2202 | Check-out service is a subclass of service |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CheckOutService "check-out service") | Hotel.kif 2203-2203 | |
| (subclass SelfServiceCheckOut CheckOutService) | Hotel.kif 2223-2223 | Self-service check-out is a subclass of check-out service |
| antecedent |
|
|
| (=> (instance ?CHECK CheckOutService) (exists (?CHECKIN) (and (instance ?CHECKIN CheckInService) (before (BeginFn (WhenFn ?CHECKIN)) (BeginFn (WhenFn ?CHECK)))))) |
Hotel.kif 2205-2212 | If X is an instance of check-out service, then there exists Y such that Y is an instance of check-in service and the beginning of the time of existence of Y happens before the beginning of the time of existence of X |
| (=> (and (instance ?CHECKIN CheckInService) (causes ?CHECKIN ?SERVICE) (instance ?CHECKOUT CheckOutService)) (finishes (WhenFn ?CHECKOUT) (WhenFn ?SERVICE))) |
Hotel.kif 2214-2221 | If X is an instance of check-in service, X causes Y, and Z is an instance of check-out service, then the time of existence of Z finishes the time of existence of Y |
| consequent |
|
|
| (=> (and (checkOutTime ?HOTEL ?TIME) (guest ?GUEST ?HOTEL)) (expects ?HOTEL (exists (?T ?C) (and (instance ?T ?TIME) (patient ?C ?GUEST) (instance ?C CheckOutService) (agent ?C ?HOTEL) (before (BeginFn (WhenFn ?C)) ?T))))) |
Hotel.kif 688-699 | If one must check out before X at Y and Z is a guest at Y, then Y expects there exist W, V such that W is an instance of X, Z is a patient of V, V is an instance of check-out service, Y is an agent of V, and the beginning of the time of existence of V happens before W will be true |
| (=> (instance ?X HotelFrontDesk) (hasPurpose ?X (exists (?CHECK) (and (or (instance ?CHECK CheckInService) (instance ?CHECK CheckOutService)) (agent ?CHECK ?X))))) |
Hotel.kif 1766-1774 | If X is an instance of front desk, then X has the purpose there exists Y such that Y is an instance of check-in service or Y is an instance of check-out service and X is an agent of Y |
|