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 2160-2162 | |
(subclass CheckInService ServiceProcess) | Hotel.kif 2159-2159 |
appearance as argument number 2 |
![]() |
(subclass SelfServiceCheckIn CheckInService) | Hotel.kif 2179-2179 | |
(termFormat EnglishLanguage CheckInService "check-in service") | Hotel.kif 2163-2163 |
antecedent |
![]() |
(=> (and (instance ?CHECKIN CheckInService) (causes ?CHECKIN ?SERVICE) (instance ?CHECKOUT CheckOutService)) (finishes (WhenFn ?CHECKOUT) (WhenFn ?SERVICE))) |
Hotel.kif 2207-2214 | |
(=> (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 2165-2177 |
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 671-679 | |
(=> (instance ?CHECK CheckOutService) (exists (?CHECKIN) (and (instance ?CHECKIN CheckInService) (before (BeginFn (WhenFn ?CHECKIN)) (BeginFn (WhenFn ?CHECK)))))) |
Hotel.kif 2198-2205 | |
(=> (instance ?X HotelFrontDesk) (hasPurpose ?X (exists (?CHECK) (and (or (instance ?CHECK CheckInService) (instance ?CHECK CheckOutService)) (agent ?CHECK ?X))))) |
Hotel.kif 1766-1774 |
![]() |
![]() |