| ValetLaundryService | |
| appearance as argument number 1 |
|
|
| (documentation ValetLaundryService EnglishLanguage "ValetLaundryService refers to an agent picking up clothing, performing LaundryService, and then delivering it back to customer") | Hotel.kif 1822-1824 | |
| (subclass ValetLaundryService ServiceProcess) | Hotel.kif 1821-1821 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ValetLaundryService "valet laundry") | Hotel.kif 1825-1825 |
| antecedent |
|
|
| (=> (instance ?SVC ValetLaundryService) (exists (?CUST ?AGENT ?LOC ?CLOTHES ?LAUNDRY ?PICKUP ?DELIVERY) (and (customer ?CUST ?AGENT) (stays ?CUST ?LOC) (agent ?SVC ?AGENT) (instance ?CLOTHES Clothing) (instance ?PICKUP Getting) (located ?PICKUP ?LOC) (patient ?PICKUP ?CLOTHES) (agent ?PICKUP ?AGENT) (or (instance ?LAUNDRY LaundryService) (instance ?LAUNDRY DryCleaningService)) (agent ?LAUNDRY ?AGENT) (patient ?LAUNDRY ?CLOTHES) (instance ?DELIVERY DeliveryService) (patient ?DELIVERY ?CLOTHES) (destination ?DELIVERY ?LOC) (before (BeginFn (WhenFn ?PICKUP)) (BeginFn (WhenFn ?LAUNDRY))) (before (BeginFn (WhenFn ?LAUNDRY)) (BeginFn (WhenFn ?DELIVERY)))))) |
Hotel.kif 1827-1848 |
|
|
|