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 2450-2453 | |
(domain policyLocationCoverage 1 Policy) | Hotel.kif 2454-2454 | The number 1 argument of policyLocationCoverage is an instance of policy |
(domain policyLocationCoverage 2 Object) | Hotel.kif 2455-2455 | The number 2 argument of policyLocationCoverage is an instance of object |
(instance policyLocationCoverage BinaryPredicate) | Hotel.kif 2449-2449 | policyLocationCoverage is an instance of binary predicate |
appearance as argument number 2 |
![]() |
(format ChineseLanguage policyLocationCoverage "%1 covers %2 ") | domainEnglishFormat.kif 4139-4139 | |
(format ChineseTraditionalLanguage policyLocationCoverage "%1 covers %2") | domainEnglishFormat.kif 4138-4138 | |
(format EnglishLanguage policyLocationCoverage "%1 covers %2") | domainEnglishFormat.kif 4137-4137 |
antecedent |
![]() |
consequent |
![]() |
(=> (propertyPolicy ?AGENT ?POLICY) (forall (?X) (=> (element ?X (PropertyFn ?AGENT)) (policyLocationCoverage ?POLICY ?X)))) |
Hotel.kif 594-599 |
|
(=> (roomPolicy ?ROOM ?POLICY) (forall (?R) (=> (instance ?R ?ROOM) (policyLocationCoverage ?POLICY ?R)))) |
Hotel.kif 428-433 |
|
![]() |
![]() |