SmokingAllowedPolicy
|
|
appearance as argument number 1 |
(documentation SmokingAllowedPolicy EnglishLanguage "SmokingAllowedPolicy states that Smoking is allowed within a specific location") | Hotel.kif 2606-2607 | |
(subclass SmokingAllowedPolicy SmokingPolicy) | Hotel.kif 2605-2605 | SmokingAllowedPolicy 是 SmokingPolicy 的 subclass |
appearance as argument number 2 |
(termFormat EnglishLanguage SmokingAllowedPolicy "smoking allowed policy") | Hotel.kif 2608-2608 |
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 2610-2619 |