PhosphoricAcid
|
|
appearance as argument number 1 |
(documentation NoHousekeepingPolicy EnglishLanguage "NoHousekeepingPolicy means that RoomCleaning is not done for the duration of a guest stay at a TravelerAccommodation") | Hotel.kif 2677-2678 | |
(subclass NoHousekeepingPolicy HousekeepingPolicy) | Hotel.kif 2676-2676 |
appearance as argument number 2 |
(termFormat EnglishLanguage NoHousekeepingPolicy "no housekeeping") | Hotel.kif 2679-2679 |
antecedent |
(=> (and (instance ?POLICY NoHousekeepingPolicy) (policyOwner ?AGENT ?POLICY) (attribute ?AGENT TravelerAccommodation)) (modalAttribute (exists (?GUEST ?ROOM) (and (guest ?GUEST ?AGENT) (holdsDuring (WhenFn (stays ?GUEST ?ROOM)) (not (exists (?CLEAN) (and (instance ?CLEAN RoomCleaningService) (patient ?CLEAN ?ROOM))))))) Likely)) |
Hotel.kif 2681-2697 |