DailyHousekeepingPolicy
|
|
appearance as argument number 1 |
(documentation DailyHousekeepingPolicy EnglishLanguage "DailyHousekeepingPolicy means that RoomCleaning is done at least once a day for the duration of a guest stay") | Hotel.kif 2650-2651 | |
(subclass DailyHousekeepingPolicy HousekeepingPolicy) | Hotel.kif 2649-2649 | DailyHousekeepingPolicy è una sottoclasse di HousekeepingPolicy |
appearance as argument number 2 |
(termFormat EnglishLanguage DailyHousekeepingPolicy "daily housekeeping") | Hotel.kif 2652-2652 |
antecedent |
(=> (and (instance ?POLICY DailyHousekeepingPolicy) (policyOwner ?AGENT ?POLICY)) (modalAttribute (exists (?GUEST ?ROOM ?STAY) (and (guest ?GUEST ?AGENT) (stays ?GUEST ?ROOM) (equal ?STAY (WhenFn (stays ?GUEST ?ROOM))) (holdsDuring ?STAY (forall (?DAY) (=> (and (instance ?DAY Day) (during ?DAY ?STAY)) (exists (?RC) (and (instance ?RC RoomCleaningService) (patient ?RC ?ROOM) (during ?RC ?DAY)))))))) Likely)) |
Hotel.kif 2654-2674 |
|