Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  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 29827-29829
(subclass Policy Proposition) Mid-level-ontology.kif 29832-29832 Policy is a subclass of proposition

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


(subclass SmokingPolicy Policy) Hotel.kif 2495-2495 Smoking policy is a subclass of policy
(subclass PetPolicy Policy) Hotel.kif 2518-2518 Pet policy is a subclass of policy
(subclass ChildrenPolicy Policy) Hotel.kif 2541-2541 Children policy is a subclass of policy
(subclass HousekeepingPolicy Policy) Hotel.kif 2648-2648 Housekeeping policy is a subclass of policy
(termFormat EnglishLanguage Policy "policy") Mid-level-ontology.kif 29830-29830 Housekeeping policy is a subclass of policy
(subclass TravelPolicy Policy) TravelPolicies.kif 305-305 TravelPolicy is a subclass of policy

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


(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 2492-2492 The number 1 argument of policy location coverage is an instance of policy
(domainSubclass policyInclusion 2 Policy) Hotel.kif 2802-2802 The number 2 argument of policy inclusion is a subclass of policy
(domain policyOwner 2 Policy) Mid-level-ontology.kif 29845-29845 The number 2 argument of policy owner is an instance of policy
(domain policyClause 3 Policy) TravelPolicies.kif 256-256 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 29834-29837 If X is an instance of policy, then there exists Y such that Y enacts policy X
(=>
    (and
        (instance ?DOC PolicyDocument)
        (containsInformation ?DOC ?PROP)
        (property ?PROP Policy))
    (modalAttribute ?PROP Legal))		 TravelPolicies.kif 290-295 If X is an instance of policy document, X contains information Y, and Y the attribute policy, then the statement Y has the modal force of legal

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


(=>
    (and
        (instance ?W Transitway)
        (attribute ?W BiDirectionalTraffic))
    (exists (?P)
        (and
            (instance ?P Policy)
            (confersNorm ?P
                (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))))		 Transportation.kif 3761-3785 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) Y confers norm 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 for permission
(=>
    (and
        (instance ?W Transitway)
        (attribute ?W UniDirectionalTraffic))
    (exists (?P)
        (and
            (instance ?P Policy)
            (confersNorm ?P
                (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))))		 Transportation.kif 3794-3818 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) Y confers norm 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 for prohibition
(=>
    (instance ?AP AdoptingPolicy)
    (exists (?PROP)
        (and
            (instance ?PROP Policy)
            (result ?AP ?PROP))))		 TravelPolicies.kif 241-246 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 280-285 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)
            (containsInformation ?POL ?PROP1)
            (containsInformation ?OOP ?PROP2)
            (not
                (consistent ?PROP1 ?PROP2)))))		 TravelPolicies.kif 1339-1349 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 information W (6) X contains information 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 is open source software produced by Articulate Software and its partners