| 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 2122-2124 | |
| (subclass CheckInService ServiceProcess) | Hotel.kif 2121-2121 |
| appearance as argument number 2 |
|
|
| (subclass SelfServiceCheckIn CheckInService) | Hotel.kif 2141-2141 | |
| (termFormat EnglishLanguage CheckInService "check-in service") | Hotel.kif 2125-2125 |
| antecedent |
|
|
| (=> (and (instance ?CHECKIN CheckInService) (causes ?CHECKIN ?SERVICE) (instance ?CHECKOUT CheckOutService)) (finishes (WhenFn ?CHECKOUT) (WhenFn ?SERVICE))) |
Hotel.kif 2169-2176 | |
| (=> (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 2127-2139 |
| 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 646-654 | |
| (=> (instance ?CHECK CheckOutService) (exists (?CHECKIN) (and (instance ?CHECKIN CheckInService) (before (BeginFn (WhenFn ?CHECKIN)) (BeginFn (WhenFn ?CHECK)))))) |
Hotel.kif 2160-2167 | |
| (=> (instance ?X HotelFrontDesk) (hasPurpose ?X (exists (?CHECK) (and (or (instance ?CHECK CheckInService) (instance ?CHECK CheckOutService)) (agent ?CHECK ?X))))) |
Hotel.kif 1730-1738 |
|
|
|