(=>
(and
(instance ?BT BusinessTrip)
(instance ?AS AccommodationService)
(subProcess ?AS ?BT)
(instance ?TP TravelPolicy)
(agent ?BT ?EMPLOYEE)
(employs ?COMPANY ?EMPLOYEE)
(policyOwner ?COMPANY ?TP)
(policyClause ?PrivRate Obligation ?TP ?COMPANY))
(exists (?H)
(and
(serviceRecipient ?AS ?EMPLOYEE)
(serviceProvider ?AS ?H)
(attribute ?H PrivateRate)
(instance ?H HotelOrganization)))) |
TravelPolicies.kif 989-1004 |
If All of the following hold: (1) X is an instance of BusinessTrip (2) Y is an instance of AccommodationService (3) Y is a subprocess of X (4) Z is an instance of TravelPolicy (5) W is an agent of X (6) V employs W (7) V enacts policy Z (8) policy clause U, obligation, Z and V, then there exists T such that W receives a service during Y, T provides a service during Y, PrivateRate is an attribute of T, and T is an instance of HotelOrganization |
