RoomCleaningService
|
|
appearance as argument number 1 |
(documentation RoomCleaningService EnglishLanguage "RoomCleaningService refers to a Maid Cleaning an area such as a Room or House") | Hotel.kif 1919-1920 | |
(subclass RoomCleaningService ServiceProcess) | Hotel.kif 1918-1918 | 子類 RoomCleaningService and 服務 |
appearance as argument number 2 |
(termFormat EnglishLanguage RoomCleaningService "service") | Hotel.kif 1921-1921 |
antecedent |
(=> (and (attribute ?X TravelerAccommodation) (capability RoomCleaningService agent ?X)) (exists (?MAID ?HOTELROOM) (and (employs ?X ?MAID) (attribute ?MAID Maid) (instance ?HOTELROOM HotelUnit) (part ?HOTELROOM (PropertyFn ?X)) (capability RoomCleaningService patient ?HOTELROOM) (capability RoomCleaningService serviceProvider ?MAID)))) |
Hotel.kif 1935-1946 |
|
(=> (instance ?X RoomCleaningService) (exists (?MAID ?PLACE ?CLEAN) (and (attribute ?MAID Maid) (serviceProvider ?X ?MAID) (located ?X ?PLACE) (subProcess ?CLEAN ?X) (instance ?CLEAN Cleaning) (patient ?CLEAN ?PLACE) (agent ?CLEAN ?MAID)))) |
Hotel.kif 1923-1933 |
consequent |