| DryCleaningService | |
| appearance as argument number 1 |
|
|
| (documentation DryCleaningService EnglishLanguage "DryCleaningService refers to cleaning of Clothing using some chemical solvent instead of water") | Hotel.kif 1805-1806 | |
| (subclass DryCleaningService ServiceProcess) | Hotel.kif 1804-1804 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage DryCleaningService "dry-clean") | Hotel.kif 1807-1807 |
| antecedent |
|
|
| (=> (instance ?SVC DryCleaningService) (exists (?CLOTHES ?WATER ?CHEM) (and (instance ?CLOTHES Clothing) (not (instrument ?SVC ?WATER)) (instance ?WATER Water) (instance ?CHEM ChemicalProduct) (instrument ?SVC ?CHEM) (patient ?SVC ?CLOTHES) (result ?SVC (attribute ?CLOTHES Clean))))) |
Hotel.kif 1809-1819 |
| consequent |
|
|
| (=> (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 |
|
|
|