Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   CheckInService
|
|
|
| appearance as argument number 1 |
|
|
| (subclass CheckInService ServiceProcess) | Hotel.kif 2166-2166 | Check-in service is a subclass of service |
| (documentation CheckInService EnglishLanguage "CheckInService refers to the process of informing a serviceProvider that the customer is ready for some Process to begin") | Hotel.kif 2167-2169 | Check-in service is a subclass of service |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CheckInService "check-in service") | Hotel.kif 2170-2170 | |
| (subclass SelfServiceCheckIn CheckInService) | Hotel.kif 2186-2186 | Self-service check-in is a subclass of check-in service |
| antecedent |
|
|
| (=> (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 2172-2184 | If X is an instance of check-in service, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is a customer of Z (3) Y provides a service during X (4) W is an instance of greeting (5) Z is an agent of W (6) W ends up at Y (7) W is a subprocess of X (8) V is an instance of process (9) Y is an agent of V (10) X causes V |
| (=> (and (instance ?CHECKIN CheckInService) (causes ?CHECKIN ?SERVICE) (instance ?CHECKOUT CheckOutService)) (finishes (WhenFn ?CHECKOUT) (WhenFn ?SERVICE))) |
Hotel.kif 2214-2221 | If X is an instance of check-in service, X causes Y, and Z is an instance of check-out service, then the time of existence of Z finishes the time of existence of Y |
| 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 | If X allows checkins after Y, then the statement there exist Z, W such that Z is an instance of Y, W is an instance of check-in service, X is an agent of W, and the beginning of the time of existence of W happens before Z has the modal force of unlikely |
| (=> (instance ?X HotelFrontDesk) (hasPurpose ?X (exists (?CHECK) (and (or (instance ?CHECK CheckInService) (instance ?CHECK CheckOutService)) (agent ?CHECK ?X))))) |
Hotel.kif 1766-1774 | If X is an instance of front desk, then X has the purpose there exists Y such that Y is an instance of check-in service or Y is an instance of check-out service and X is an agent of Y |
| (=> (instance ?CHECK CheckOutService) (exists (?CHECKIN) (and (instance ?CHECKIN CheckInService) (before (BeginFn (WhenFn ?CHECKIN)) (BeginFn (WhenFn ?CHECK)))))) |
Hotel.kif 2205-2212 | If X is an instance of check-out service, then there exists Y such that Y is an instance of check-in service and the beginning of the time of existence of Y happens before the beginning of the time of existence of X |
|