(=>
(policyOwner ?AGENT ?POLICY)
(exists (?CREATE)
(and
(instance ?CREATE Creation)
(agent ?CREATE ?AGENT)
(result ?CREATE ?POLICY)))) |
Mid-level-ontology.kif 29796-29802 |
If X enacts policy Y, then there exists Z such that Z is an instance of creation, X is an agent of Z, and Y is a result of Z |
(=>
(and
(instance ?POLICY ChildrenPolicy)
(policyOwner ?AGENT ?POLICY)
(policyLocationCoverage ?POLICY ?LOC))
(or
(containsFormula ?POLICY
(modalAttribute
(exists (?CUST1)
(and
(customer ?CUST1 ?AGENT)
(instance ?CUST1 HumanChild))) Possibility))
(containsFormula ?POLICY
(not
(modalAttribute
(exists (?CUST2)
(and
(customer ?CUST2 ?AGENT)
(instance ?CUST2 HumanChild))) Possibility))))) |
Hotel.kif 2553-2571 |
If X is an instance of children policy, Y enacts policy X, and X covers Z, then X contains the formula the statement there exists W such that Y is a customer of W and W is an instance of human child has the modal force of possibility or X contains the formula the statement there doesn't exist V such that Y is a customer of V and V is an instance of human child doesn't have the modal force of possibility |
(=>
(and
(instance ?POLICY PetsAllowedPolicy)
(policyLocationCoverage ?POLICY ?LOC)
(policyOwner ?AGENT ?POLICY))
(confersNorm ?AGENT Permission
(exists (?PET)
(and
(instance ?PET DomesticAnimal)
(located ?PET ?LOC))))) |
Hotel.kif 2579-2588 |
If X is an instance of pets allowed, X covers Y, and Z enacts policy X, then Z confers norm permission for there exists W such that W is an instance of domestic animal and W is located at Y |
(=>
(and
(instance ?POLICY NoPetsPolicy)
(policyLocationCoverage ?POLICY ?LOC)
(policyOwner ?AGENT ?POLICY))
(deprivesNorm ?AGENT Permission
(exists (?PET)
(and
(instance ?PET DomesticAnimal)
(located ?PET ?LOC))))) |
Hotel.kif 2595-2604 |
If X is an instance of no pets allowed, X covers Y, and Z enacts policy X, then Z deprives norm permission for there exists W such that W is an instance of domestic animal and W is located at Y |
(=>
(and
(instance ?POLICY NoSmokingPolicy)
(policyLocationCoverage ?POLICY ?LOC)
(policyOwner ?AGENT ?POLICY))
(deprivesNorm ?AGENT Permission
(exists (?SMOKE)
(and
(instance ?SMOKE Smoking)
(located ?SMOKE ?LOC))))) |
Hotel.kif 2611-2620 |
If X is an instance of no smoking policy, X covers Y, and Z enacts policy X, then Z deprives norm permission for there exists W such that W is an instance of smoking and W is located at Y |
(=>
(and
(instance ?POLICY SmokingAllowedPolicy)
(policyLocationCoverage ?POLICY ?LOC)
(policyOwner ?AGENT ?POLICY))
(confersNorm ?AGENT Permission
(exists (?SMOKE)
(and
(instance ?SMOKE Smoking)
(located ?SMOKE ?LOC))))) |
Hotel.kif 2628-2637 |
If X is an instance of smoking allowed policy, X covers Y, and Z enacts policy X, then Z confers norm permission for there exists W such that W is an instance of smoking and W is located at Y |
(=>
(and
(instance ?POLICY NoChildrenPolicy)
(policyLocationCoverage ?POLICY ?LOC)
(policyOwner ?AGENT ?POLICY))
(deprivesNorm ?AGENT Permission
(exists (?CHILD)
(and
(instance ?CHILD HumanChild)
(located ?CHILD ?LOC))))) |
Hotel.kif 2644-2653 |
If X is an instance of no children allowed, X covers Y, and Z enacts policy X, then Z deprives norm permission for there exists W such that W is an instance of human child and W is located at Y |
(=>
(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 |
