NoSmokingPolicy |
appearance as argument number 1 |
(documentation NoSmokingPolicy EnglishLanguage "NoSmokingPolicy states that Smoking is not allowed within a specific location") | Hotel.kif 2589-2590 | |
(subclass NoSmokingPolicy SmokingPolicy) | Hotel.kif 2588-2588 |
appearance as argument number 2 |
(termFormat EnglishLanguage NoSmokingPolicy "no smoking policy") | Hotel.kif 2591-2591 |
antecedent |
(=> (and (instance ?POLICY NoSmokingPolicy) (policyLocationCoverage ?POLICY ?LOC) (policyOwner ?AGENT ?POLICY)) (deprivesNorm ?AGENT (exists (?SMOKE) (and (instance ?SMOKE Smoking) (located ?SMOKE ?LOC))) Permission)) |
Hotel.kif 2593-2602 |