policyLocationCoverage |
appearance as argument number 1 |
(documentation policyLocationCoverage EnglishLanguage "(policyLocationCoverage ?Policy ?GeographicArea) creates a relationship for policies that are restricted to certain areas or location. This relation means that ?Policy enforcement is confined to ?%&GeographicArea") | Hotel.kif 2477-2480 | |
(domain policyLocationCoverage 1 Policy) | Hotel.kif 2481-2481 | |
(domain policyLocationCoverage 2 Object) | Hotel.kif 2482-2482 | |
(instance policyLocationCoverage BinaryPredicate) | Hotel.kif 2476-2476 |
appearance as argument number 2 |
(format ChineseLanguage policyLocationCoverage "%1 covers %2 ") | domainEnglishFormat.kif 4134-4134 | |
(format ChineseTraditionalLanguage policyLocationCoverage "%1 covers %2") | domainEnglishFormat.kif 4133-4133 | |
(format EnglishLanguage policyLocationCoverage "%1 covers %2") | domainEnglishFormat.kif 4132-4132 | |
(termFormat EnglishLanguage policyLocationCoverage "policy location coverage") | domainEnglishFormat.kif 65903-65903 |
antecedent |
consequent |
(=> (propertyPolicy ?AGENT ?POLICY) (forall (?X) (=> (element ?X (PropertyFn ?AGENT)) (policyLocationCoverage ?POLICY ?X)))) |
Hotel.kif 615-620 | |
(=> (roomPolicy ?ROOM ?POLICY) (forall (?R) (=> (instance ?R ?ROOM) (policyLocationCoverage ?POLICY ?R)))) |
Hotel.kif 448-453 |