|
|
  Entity
|
|
|
| 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 2688-2689 | |
| (subclass NoHousekeepingPolicy HousekeepingPolicy) | Hotel.kif 2687-2687 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage NoHousekeepingPolicy "no housekeeping") | Hotel.kif 2690-2690 |
| 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 2692-2708 |
|
|
|