(=>
(instance ?AS AccommodationService)
(exists (?HOTEL ?CUSTOMER ?ROOM)
(and
(instance ?HOTEL HotelOrganization)
(instance ?CUSTOMER Human)
(instance ?ROOM HotelUnit)
(serviceProvider ?AS ?HOTEL)
(serviceRecipient ?AS ?CUSTOMER)
(serviceInstrument ?AS ?ROOM)))) |
TravelPolicies.kif 753-762 |
If X is an instance of AccommodationService, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of HotelOrganization (3) Z is an instance of human (4) W is an instance of hotel unit (5) Y provides a service during X (6) Z receives a service during X (7) serviceInstrument X (8) W |
