TreeView Knowledge Base Browser

appearance as argument number 1

(subclass NoSmokingPolicy SmokingPolicy)	Hotel.kif 2606-2606	No smoking policy is a subclass of smoking policy
(documentation NoSmokingPolicy EnglishLanguage "NoSmokingPolicy states that Smoking is not allowed within a specific location")	Hotel.kif 2607-2608	No smoking policy is a subclass of smoking policy

appearance as argument number 2

antecedent

(=>
    (and
        (instance ?POLICY NoSmokingPolicy)
        (policyLocationCoverage ?POLICY ?LOC)
        (policyOwner ?AGENT ?POLICY))
    (deprivesNorm ?AGENT Permission
        (exists (?SMOKE)
            (and
                (instance ?SMOKE Smoking)
                (located ?SMOKE ?LOC)))))

If X is an instance of no smoking policy, X covers Y, and Z enacts policy X, then Z deprives norm permission for there exists W such that W is an instance of smoking and W is located at Y