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


KB Term:  Term intersection
English Word: 

Sigma KEE - SmokingPolicy
SmokingPolicy(smoking policy)

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


(subclass SmokingPolicy Policy) Hotel.kif 2502-2502 Smoking policy is a subclass of policy
(documentation SmokingPolicy EnglishLanguage "SmokingPolicy refers to a policy that indicates how Smoking is or is not allowed within a certain location") Hotel.kif 2503-2504 Smoking policy is a subclass of policy

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


(termFormat EnglishLanguage SmokingPolicy "smoking policy") Hotel.kif 2505-2505
(subclass NoSmokingPolicy SmokingPolicy) Hotel.kif 2606-2606 No smoking policy is a subclass of smoking policy
(subclass SmokingAllowedPolicy SmokingPolicy) Hotel.kif 2623-2623 Smoking allowed policy is a subclass of smoking policy

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


(=>
    (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


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