policyOwner |
appearance as argument number 1 |
![]() |
(documentation policyOwner EnglishLanguage "(policyOwner ?Organization ?Policy) describes how ?Policy is adopted and enforced by ?Organization") | Mid-level-ontology.kif 29094-29095 | |
(domain policyOwner 1 Organization) | Mid-level-ontology.kif 29098-29098 | |
(domain policyOwner 2 Policy) | Mid-level-ontology.kif 29099-29099 | |
(instance policyOwner BinaryPredicate) | Mid-level-ontology.kif 29093-29093 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage policyOwner "%1 enacts policy %2 ") | domainEnglishFormat.kif 4142-4142 | |
(format ChineseTraditionalLanguage policyOwner "%1 enacts policy %2 ") | domainEnglishFormat.kif 4141-4141 | |
(format EnglishLanguage policyOwner "%1 enacts policy %2") | domainEnglishFormat.kif 4140-4140 | |
(termFormat EnglishLanguage policyOwner "policy owner") | Mid-level-ontology.kif 29096-29096 |
antecedent |
![]() |
(=> (and (instance ?POLICY ChildrenPolicy) (policyOwner ?AGENT ?POLICY) (policyLocationCoverage ?POLICY ?LOC)) (or (containsInformation ?POLICY (modalAttribute (exists (?CUST1) (and (customer ?CUST1 ?AGENT) (instance ?CUST1 HumanChild))) Possibility)) (containsInformation ?POLICY (not (modalAttribute (exists (?CUST2) (and (customer ?CUST2 ?AGENT) (instance ?CUST2 HumanChild))) Possibility))))) |
Hotel.kif 2546-2564 | |
(=> (and (instance ?POLICY DailyHousekeepingPolicy) (policyOwner ?AGENT ?POLICY)) (modalAttribute (exists (?GUEST ?ROOM ?STAY) (and (guest ?GUEST ?AGENT) (stays ?GUEST ?ROOM) (equal ?STAY (WhenFn (stays ?GUEST ?ROOM))) (holdsDuring ?STAY (forall (?DAY) (=> (and (instance ?DAY Day) (during ?DAY ?STAY)) (exists (?RC) (and (instance ?RC RoomCleaningService) (patient ?RC ?ROOM) (during ?RC ?DAY)))))))) Likely)) |
Hotel.kif 2665-2685 | |
(=> (and (instance ?POLICY NoChildrenPolicy) (policyLocationCoverage ?POLICY ?LOC) (policyOwner ?AGENT ?POLICY)) (deprivesNorm ?AGENT (exists (?CHILD) (and (instance ?CHILD HumanChild) (located ?CHILD ?LOC))) Permission)) |
Hotel.kif 2637-2646 | |
(=> (and (instance ?POLICY NoHousekeepingPolicy) (policyOwner ?AGENT ?POLICY) (attribute ?AGENT TravelerAccommodation)) (modalAttribute (exists (?GUEST ?ROOM) (and (guest ?GUEST ?AGENT) (holdsDuring (WhenFn (stays ?GUEST ?ROOM)) (not (exists (?CLEAN) (and (instance ?CLEAN RoomCleaningService) (patient ?CLEAN ?ROOM))))))) Likely)) |
Hotel.kif 2692-2708 | |
(=> (and (instance ?POLICY NoPetsPolicy) (policyLocationCoverage ?POLICY ?LOC) (policyOwner ?AGENT ?POLICY)) (deprivesNorm ?AGENT (exists (?PET) (and (instance ?PET DomesticAnimal) (located ?PET ?LOC))) Permission)) |
Hotel.kif 2588-2597 | |
(=> (and (instance ?POLICY NoSmokingPolicy) (policyLocationCoverage ?POLICY ?LOC) (policyOwner ?AGENT ?POLICY)) (deprivesNorm ?AGENT (exists (?SMOKE) (and (instance ?SMOKE Smoking) (located ?SMOKE ?LOC))) Permission)) |
Hotel.kif 2604-2613 | |
(=> (and (instance ?POLICY PetsAllowedPolicy) (policyLocationCoverage ?POLICY ?LOC) (policyOwner ?AGENT ?POLICY)) (confersNorm ?AGENT (exists (?PET) (and (instance ?PET DomesticAnimal) (located ?PET ?LOC))) Permission)) |
Hotel.kif 2572-2581 | |
(=> (and (instance ?POLICY SmokingAllowedPolicy) (policyLocationCoverage ?POLICY ?LOC) (policyOwner ?AGENT ?POLICY)) (confersNorm ?AGENT (exists (?SMOKE) (and (instance ?SMOKE Smoking) (located ?SMOKE ?LOC))) Permission)) |
Hotel.kif 2621-2630 | |
(=> (and (instance ?POLICY WithHousekeepingPolicy) (policyOwner ?AGENT ?POLICY) (attribute ?AGENT TravelerAccommodation)) (modalAttribute (exists (?GUEST ?ROOM) (and (guest ?GUEST ?AGENT) (holdsDuring (WhenFn (stays ?GUEST ?ROOM)) (exists (?CLEAN) (and (instance ?CLEAN RoomCleaningService) (patient ?CLEAN ?ROOM)))))) Likely)) |
Hotel.kif 2715-2730 | |
(=> (policyOwner ?AGENT ?POLICY) (exists (?CREATE) (and (instance ?CREATE Creation) (agent ?CREATE ?AGENT) (result ?CREATE ?POLICY)))) |
Mid-level-ontology.kif 29101-29107 |
consequent |
![]() |
(=> (instance ?POLICY HousekeepingPolicy) (exists (?AGENT) (and (policyOwner ?AGENT ?POLICY) (attribute ?AGENT TravelerAccommodation)))) |
Hotel.kif 2653-2658 | |
(=> (instance ?POLICY Policy) (exists (?ORG) (policyOwner ?ORG ?POLICY))) |
Mid-level-ontology.kif 29088-29091 |
![]() |
![]() |