(=>
(and
(instance ?POLICY SmokingPolicy)
(policyLocationCoverage ?POLICY ?LOC))
(or
(containsFormula ?POLICY
(modalAttribute
(exists (?SMOKE1)
(and
(instance ?SMOKE1 Smoking)
(located ?SMOKE1 ?LOC))) Permission))
(containsFormula ?POLICY
(modalAttribute
(exists (?SMOKE2)
(and
(instance ?SMOKE2 Smoking)
(located ?SMOKE2 ?LOC))) Prohibition)))) |
Hotel.kif 2507-2523 |
If X is an instance of smoking policy and X covers Y, then X contains the formula the statement there exists Z such that Z is an instance of smoking and Z is located at Y has the modal force of permission or X contains the formula the statement there exists W such that W is an instance of smoking and W is located at Y has the modal force of prohibition |
(=>
(and
(instance ?POLICY PetPolicy)
(policyLocationCoverage ?POLICY ?LOC))
(or
(containsFormula ?POLICY
(modalAttribute
(exists (?PET1)
(and
(instance ?PET1 DomesticAnimal)
(located ?PET1 ?LOC))) Permission))
(containsFormula ?POLICY
(modalAttribute
(exists (?PET2)
(and
(instance ?PET2 DomesticAnimal)
(located ?PET2 ?LOC))) Prohibition)))) |
Hotel.kif 2530-2546 |
If X is an instance of pet policy and X covers Y, then X contains the formula the statement there exists Z such that Z is an instance of domestic animal and Z is located at Y has the modal force of permission or X contains the formula the statement there exists W such that W is an instance of domestic animal and W is located at Y has the modal force of prohibition |
(=>
(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 |
