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 2423-2426 | |
(domain policyLocationCoverage 1 Policy) | Hotel.kif 2427-2427 | domain policyLocationCoverage, 1 and Policy |
(domain policyLocationCoverage 2 Object) | Hotel.kif 2428-2428 | domain policyLocationCoverage, 2 and Object |
(instance policyLocationCoverage BinaryPredicate) | Hotel.kif 2422-2422 | instance policyLocationCoverage and BinaryPredicate |
appearance as argument number 2 |
![]() |
(format ChineseLanguage policyLocationCoverage "%1 covers %2 ") | domainEnglishFormat.kif 4135-4135 | |
(format ChineseTraditionalLanguage policyLocationCoverage "%1 covers %2") | domainEnglishFormat.kif 4134-4134 | |
(format EnglishLanguage policyLocationCoverage "%1 covers %2") | domainEnglishFormat.kif 4133-4133 |
antecedent |
![]() |
consequent |
![]() |
(=> (propertyPolicy ?AGENT ?POLICY) (forall (?X) (=> (element ?X (PropertyFn ?AGENT)) (policyLocationCoverage ?POLICY ?X)))) |
Hotel.kif 588-593 | |
(=> (roomPolicy ?ROOM ?POLICY) (forall (?R) (=> (instance ?R ?ROOM) (policyLocationCoverage ?POLICY ?R)))) |
Hotel.kif 424-429 |
![]() |
![]() |