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 | Check-out service is a subclass of service |
appearance as argument number 2 |
(subclass SelfServiceCheckOut CheckOutService) | Hotel.kif 2205-2205 | Self-service check-out is a subclass of check-out service |
(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 |