SmokingAllowedPolicy - Sigma Knowledge base Browser

appearance as argument number 1

(documentation SmokingAllowedPolicy EnglishLanguage "SmokingAllowedPolicy states that Smoking is allowed within a specific location")	Hotel.kif 2617-2618
(subclass SmokingAllowedPolicy SmokingPolicy)	Hotel.kif 2616-2616	Smoking allowed policy is a subclass of smoking policy

appearance as argument number 2

Hotel.kif 2619-2619

antecedent

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