HousekeepingPolicy
|
|
appearance as argument number 1 |
(documentation HousekeepingPolicy EnglishLanguage "HousekeepingPolicy dictates the amount of RoomCleaning that is done in a TravelerAccommodation") | Hotel.kif 2638-2639 | |
(subclass HousekeepingPolicy Policy) | Hotel.kif 2637-2637 |
appearance as argument number 2 |
(subclass DailyHousekeepingPolicy HousekeepingPolicy) | Hotel.kif 2649-2649 | |
(subclass NoHousekeepingPolicy HousekeepingPolicy) | Hotel.kif 2676-2676 | |
(subclass WithHousekeepingPolicy HousekeepingPolicy) | Hotel.kif 2699-2699 | |
(termFormat EnglishLanguage HousekeepingPolicy "housekeeping policy") | Hotel.kif 2640-2640 |
antecedent |
(=> (instance ?POLICY HousekeepingPolicy) (exists (?AGENT) (and (policyOwner ?AGENT ?POLICY) (attribute ?AGENT TravelerAccommodation)))) |
Hotel.kif 2642-2647 |