HousekeepingPolicy - Sigma Knowledge base Browser

appearance as argument number 1

(subclass HousekeepingPolicy Policy)	Hotel.kif 2655-2655	Housekeeping policy is a subclass of policy
(documentation HousekeepingPolicy EnglishLanguage "HousekeepingPolicy dictates the amount of RoomCleaning that is done in a TravelerAccommodation")	Hotel.kif 2656-2657	Housekeeping policy is a subclass of policy

appearance as argument number 2

(termFormat EnglishLanguage HousekeepingPolicy "housekeeping policy")	Hotel.kif 2658-2658
(subclass DailyHousekeepingPolicy HousekeepingPolicy)	Hotel.kif 2667-2667	Daily housekeeping is a subclass of housekeeping policy
(subclass NoHousekeepingPolicy HousekeepingPolicy)	Hotel.kif 2694-2694	No housekeeping is a subclass of housekeeping policy
(subclass WithHousekeepingPolicy HousekeepingPolicy)	Hotel.kif 2717-2717	With housekeeping is a subclass of housekeeping policy

antecedent

(=>
    (instance ?POLICY HousekeepingPolicy)
    (exists (?AGENT)
        (and
            (policyOwner ?AGENT ?POLICY)
            (attribute ?AGENT TravelerAccommodation))))