AppraisalAsUndesirableConsequences
|
|
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 | CheckInService est une sous-classe de ServiceProcess |
appearance as argument number 2 |
(subclass SelfServiceCheckIn CheckInService) | Hotel.kif 2168-2168 | SelfServiceCheckIn est une sous-classe de CheckInService |
(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 |