Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - policyOwner
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 25439-25439
(domain policyOwner 1 Organization) Mid-level-ontology.kif 25442-25442 domain policyOwner, 1 and Organization
(domain policyOwner 2 Policy) Mid-level-ontology.kif 25443-25443 domain policyOwner, 2 and Policy
(instance policyOwner BinaryPredicate) Mid-level-ontology.kif 25438-25438 instance policyOwner and BinaryPredicate

appearance as argument number 2
-------------------------


(format ChineseLanguage policyOwner "%1 enacts policy %2 ") domainEnglishFormat.kif 4139-4139
(format ChineseTraditionalLanguage policyOwner "%1 enacts policy %2 ") domainEnglishFormat.kif 4138-4138
(format EnglishLanguage policyOwner "%1 enacts policy %2") domainEnglishFormat.kif 4137-4137
(termFormat EnglishLanguage policyOwner "policy owner") Mid-level-ontology.kif 25440-25440 termFormat EnglishLanguage, policyOwner and "policy owner"

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 2481-2499
(=>
    (and
        (instance ?POLICY DailyHousekeepingPolicy)
        (policyOwner ?AGENT ?POLICY))
    (modalAttribute
        (exists (?GUEST ?ROOM)
            (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 2600-2620
(=>
    (and
        (instance ?POLICY NoChildrenPolicy)
        (policyLocationCoverage ?POLICY ?LOC)
        (policyOwner ?AGENT ?POLICY))
    (deprivesNorm ?AGENT
        (exists (?CHILD)
            (and
                (instance ?CHILD HumanChild)
                (located ?CHILD ?LOC))) Permission))
Hotel.kif 2572-2581
(=>
    (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 2627-2643
(=>
    (and
        (instance ?POLICY NoPetsPolicy)
        (policyLocationCoverage ?POLICY ?LOC)
        (policyOwner ?AGENT ?POLICY))
    (deprivesNorm ?AGENT
        (exists (?PET)
            (and
                (instance ?PET DomesticAnimal)
                (located ?PET ?LOC))) Permission))
Hotel.kif 2523-2532
(=>
    (and
        (instance ?POLICY NoSmokingPolicy)
        (policyLocationCoverage ?POLICY ?LOC)
        (policyOwner ?AGENT ?POLICY))
    (deprivesNorm ?AGENT
        (exists (?SMOKE)
            (and
                (instance ?SMOKE Smoking)
                (located ?SMOKE ?LOC))) Permission))
Hotel.kif 2539-2548
(=>
    (and
        (instance ?POLICY PetsAllowedPolicy)
        (policyLocationCoverage ?POLICY ?LOC)
        (policyOwner ?AGENT ?POLICY))
    (confersNorm ?AGENT
        (exists (?PET)
            (and
                (instance ?PET DomesticAnimal)
                (located ?PET ?LOC))) Permission))
Hotel.kif 2507-2516
(=>
    (and
        (instance ?POLICY SmokingAllowedPolicy)
        (policyLocationCoverage ?POLICY ?LOC)
        (policyOwner ?AGENT ?POLICY))
    (confersNorm ?AGENT
        (exists (?SMOKE)
            (and
                (instance ?SMOKE Smoking)
                (located ?SMOKE ?LOC))) Permission))
Hotel.kif 2556-2565
(=>
    (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 2650-2665
(=>
    (policyOwner ?AGENT ?POLICY)
    (exists (?CREATE)
        (and
            (instance ?CREATE Creation)
            (agent ?CREATE ?AGENT)
            (result ?CREATE ?POLICY))))
Mid-level-ontology.kif 25447-25453

consequent
-------------------------


(=>
    (instance ?POLICY HousekeepingPolicy)
    (exists (?AGENT)
        (and
            (policyOwner ?AGENT ?POLICY)
            (attribute ?AGENT TravelerAccommodation))))
Hotel.kif 2588-2593
(=>
    (instance ?POLICY Policy)
    (exists (?ORG)
        (policyOwner ?ORG ?POLICY)))
Mid-level-ontology.kif 25433-25436


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners