(=>
(and
(instance ?H HotelOrganization)
(instance ?ORG Organization)
(instance ?TP TravelPolicy)
(policyOwner ?ORG ?TP))
(or
(attribute ?H PrivateRate)
(not
(attribute ?H PrivateRate)))) |
TravelPolicies.kif 955-964 |
If X is an instance of HotelOrganization, Y is an instance of organization, Z is an instance of TravelPolicy, and Y enacts policy Z, then PrivateRate is an attribute of X or PrivateRate is not an attribute of X |
(=>
(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 |
(=>
(instance ?T TravelPolicy)
(exists (?ORG ?INDIVIDUAL ?BUSINESSTRIP)
(and
(policyOwner ?ORG ?T)
(organizationRepresentative ?INDIVIDUAL ?ORG)
(instance ?BUSINESSTRIP BusinessTrip)
(agent ?BUSINESSTRIP ?INDIVIDUAL)))) |
TravelPolicies.kif 1349-1356 |
If X is an instance of TravelPolicy, then there exist Y, Z, W such that Y enacts policy X, an agent that is an organization representative (in some transaction) Z, Y, W is an instance of BusinessTrip, and Z is an agent of W |
