|
|
   CheckOutService
|
|
|
| appearance as argument number 1 |
|
|
| (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 2182-2184 | |
| (subclass CheckOutService ServiceProcess) | Hotel.kif 2181-2181 |
| appearance as argument number 2 |
|
|
| (subclass SelfServiceCheckOut CheckOutService) | Hotel.kif 2205-2205 | |
| (termFormat EnglishLanguage CheckOutService "check-out service") | Hotel.kif 2185-2185 |
| antecedent |
|
|
| (=> (and (instance ?CHECKIN CheckInService) (causes ?CHECKIN ?SERVICE) (instance ?CHECKOUT CheckOutService)) (finishes (WhenFn ?CHECKOUT) (WhenFn ?SERVICE))) |
Hotel.kif 2196-2203 | |
| (=> (instance ?CHECK CheckOutService) (exists (?CHECKIN) (and (instance ?CHECKIN CheckInService) (before (BeginFn (WhenFn ?CHECKIN)) (BeginFn (WhenFn ?CHECK)))))) |
Hotel.kif 2187-2194 |
| 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 684-695 | |
| (=> (instance ?X HotelFrontDesk) (hasPurpose ?X (exists (?CHECK) (and (or (instance ?CHECK CheckInService) (instance ?CHECK CheckOutService)) (agent ?CHECK ?X))))) |
Hotel.kif 1755-1763 |
|
|
|