Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Policy
Policy(policy)

appearance as argument number 1
-------------------------


(documentation Policy EnglishLanguage "Policy is (the contents of) a type of Declaring created and enforced by an Organization such as a government or a business, which contains guiding principles or a plan or course of action adopted by that organization.") Mid-level-ontology.kif 29776-29778
(subclass Policy Proposition) Mid-level-ontology.kif 29781-29781 Policy is a subclass of proposition

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


(termFormat EnglishLanguage Policy "policy") Mid-level-ontology.kif 29779-29779
(subclass SmokingPolicy Policy) Hotel.kif 2502-2502 Smoking policy is a subclass of policy
(subclass PetPolicy Policy) Hotel.kif 2525-2525 Pet policy is a subclass of policy
(subclass ChildrenPolicy Policy) Hotel.kif 2548-2548 Children policy is a subclass of policy
(subclass HousekeepingPolicy Policy) Hotel.kif 2655-2655 Housekeeping policy is a subclass of policy
(subclass TravelPolicy Policy) TravelPolicies.kif 302-302 TravelPolicy is a subclass of policy

appearance as argument number 3
-------------------------


(domain policyOwner 2 Policy) Mid-level-ontology.kif 29794-29794 The number 2 argument of policy owner is an instance of policy
(domain pricePolicy 2 Policy) Catalog.kif 257-257 The number 2 argument of rate policy is an instance of policy
(domain allRoomsPolicy 2 Policy) Hotel.kif 231-231 The number 2 argument of room policy in all rooms is an instance of policy
(domain someRoomsPolicy 2 Policy) Hotel.kif 246-246 The number 2 argument of room policy in all rooms is an instance of policy
(domain roomPolicy 2 Policy) Hotel.kif 446-446 The number 2 argument of room policy is an instance of policy
(domain propertyPolicy 2 Policy) Hotel.kif 617-617 The number 2 argument of property policy is an instance of policy
(domain policyLocationCoverage 1 Policy) Hotel.kif 2499-2499 The number 1 argument of policy location coverage is an instance of policy
(domainSubclass policyInclusion 2 Policy) Hotel.kif 2809-2809 The number 2 argument of policy inclusion is a subclass of policy
(domain policyClause 3 Policy) TravelPolicies.kif 254-254 The number 3 argument of policy clause is an instance of policy

antecedent
-------------------------


(=>
    (instance ?POLICY Policy)
    (exists (?ORG)
        (policyOwner ?ORG ?POLICY)))		 Mid-level-ontology.kif 29783-29786 If X is an instance of policy, then there exists Y such that Y enacts policy X

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


(=>
    (and
        (instance ?W Transitway)
        (attribute ?W BiDirectionalTraffic))
    (exists (?P)
        (and
            (instance ?P Policy)
            (confersNorm
                (exists (?T1 ?A ?B)
                    (and
                        (instance ?T1 Transportation)
                        (path ?T1 ?W)
                        (instance ?A GeographicArea)
                        (origin ?T1 ?A)
                        (instance ?B GeographicArea)
                        (destination ?T1 ?B)
                        (holdsDuring
                            (WhenFn ?T1)
                            (exists (?T2)
                                (and
                                    (instance ?T2 Transportation)
                                    (path ?T2 ?W)
                                    (origin ?T1 ?B)
                                    (destination ?T1 ?A)
                                    (not
                                        (equal ?T1 ?T2))))))) Permission ?P))))		 Transportation.kif 3785-3809 If X is an instance of transitway and bidirectional traffic is an attribute of X, then All of the following hold: (1) there exists Y such that Y is an instance of policy (2) there exist Z, W (3) V such that Z is an instance of transportation (4) X is path along which Z occurs (5) W is an instance of geographic area (6) Z originates at W (7) V is an instance of geographic area (8) Z ends up at V (9) there exists U such that U is an instance of transportation (10) X is path along which U occurs (11) Z originates at V (12) Z ends up at W (13) equal Z (14) U holds during the time of existence of Z confers norm permission for Y
(=>
    (and
        (instance ?W Transitway)
        (attribute ?W UniDirectionalTraffic))
    (exists (?P)
        (and
            (instance ?P Policy)
            (confersNorm
                (exists (?T1 ?A ?B)
                    (and
                        (instance ?T1 Transportation)
                        (path ?T1 ?W)
                        (instance ?A GeographicArea)
                        (origin ?T1 ?A)
                        (instance ?B GeographicArea)
                        (destination ?T1 ?B)
                        (holdsDuring
                            (WhenFn ?T1)
                            (exists (?T2)
                                (and
                                    (instance ?T2 Transportation)
                                    (path ?T2 ?W)
                                    (origin ?T1 ?B)
                                    (destination ?T1 ?A)
                                    (not
                                        (equal ?T1 ?T2))))))) Prohibition ?P))))		 Transportation.kif 3818-3842 If X is an instance of transitway and unidirectional traffic is an attribute of X, then All of the following hold: (1) there exists Y such that Y is an instance of policy (2) there exist Z, W (3) V such that Z is an instance of transportation (4) X is path along which Z occurs (5) W is an instance of geographic area (6) Z originates at W (7) V is an instance of geographic area (8) Z ends up at V (9) there exists U such that U is an instance of transportation (10) X is path along which U occurs (11) Z originates at V (12) Z ends up at W (13) equal Z (14) U holds during the time of existence of Z confers norm prohibition for Y
(=>
    (instance ?AP AdoptingPolicy)
    (exists (?PROP)
        (and
            (instance ?PROP Policy)
            (result ?AP ?PROP))))		 TravelPolicies.kif 239-244 If X is an instance of AdoptingPolicy, then there exists Y such that Y is an instance of policy and Y is a result of X
(=>
    (instance ?DOC PolicyDocument)
    (exists (?PROP)
        (and
            (containsInformation ?DOC ?PROP)
            (property ?PROP Policy))))		 TravelPolicies.kif 278-283 If X is an instance of policy document, then there exists Y such that X contains information Y and Y the attribute policy
(=>
    (instance ?OOP OutOfPolicyAccom)
    (exists (?ORG ?POL ?PROP1 ?PROP2)
        (and
            (instance ?ORG Organization)
            (instance ?POL Policy)
            (policyOwner ?ORG ?POL)
            (containsFormula ?POL ?PROP1)
            (containsFormula ?OOP ?PROP2)
            (not
                (consistent ?PROP1 ?PROP2)))))		 TravelPolicies.kif 1329-1339 If X is an instance of OutOfPolicyAccom, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of organization (3) Z is an instance of policy (4) Y enacts policy Z (5) Z contains the formula W (6) X contains the formula V (7) V is not a consistent of W


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 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners