| CheckInService | |
| appearance as argument number 1 |
|
|
| (documentation CheckInService EnglishLanguage "CheckInService refers to the process of informing a serviceProvider that the customer is ready for some Process to begin") | Hotel.kif 2149-2151 | |
| (subclass CheckInService ServiceProcess) | Hotel.kif 2148-2148 |
| appearance as argument number 2 |
|
|
| (subclass SelfServiceCheckIn CheckInService) | Hotel.kif 2168-2168 | |
| (termFormat EnglishLanguage CheckInService "check-in service") | Hotel.kif 2152-2152 |
| antecedent |
|
|
| (=> (and (instance ?CHECKIN CheckInService) (causes ?CHECKIN ?SERVICE) (instance ?CHECKOUT CheckOutService)) (finishes (WhenFn ?CHECKOUT) (WhenFn ?SERVICE))) |
Hotel.kif 2196-2203 | |
| (=> (instance ?CHECK CheckInService) (exists (?AGENT ?CUST ?GREET ?SERVICE) (and (customer ?CUST ?AGENT) (serviceProvider ?CHECK ?AGENT) (instance ?GREET Greeting) (agent ?GREET ?CUST) (destination ?GREET ?AGENT) (subProcess ?GREET ?CHECK) (instance ?SERVICE Process) (agent ?SERVICE ?AGENT) (causes ?CHECK ?SERVICE)))) |
Hotel.kif 2154-2166 |
| consequent |
|
|
| (=> (checkInTime ?HOTEL ?TIME) (modalAttribute (exists (?T ?C) (and (instance ?T ?TIME) (instance ?C CheckInService) (agent ?C ?HOTEL) (before (BeginFn (WhenFn ?C)) ?T))) Unlikely)) |
Hotel.kif 667-675 | |
| (=> (instance ?CHECK CheckOutService) (exists (?CHECKIN) (and (instance ?CHECKIN CheckInService) (before (BeginFn (WhenFn ?CHECKIN)) (BeginFn (WhenFn ?CHECK)))))) |
Hotel.kif 2187-2194 | |
| (=> (instance ?X HotelFrontDesk) (hasPurpose ?X (exists (?CHECK) (and (or (instance ?CHECK CheckInService) (instance ?CHECK CheckOutService)) (agent ?CHECK ?X))))) |
Hotel.kif 1755-1763 |
|
|
|