TreeView Knowledge Base Browser

appearance as argument number 1

(documentation propertyPolicy EnglishLanguage "(propertyPolicy ?AGENT ?POLICY) means that ?POLICY is a Policy with policyLocationCoverage that covers all elements of PropertyFn ?AGENT")	Hotel.kif 586-588
(domain propertyPolicy 1 Agent)	Hotel.kif 591-591	The number 1 argument of property policy is an instance of agent
(domain propertyPolicy 2 Policy)	Hotel.kif 592-592	The number 2 argument of property policy is an instance of policy
(instance propertyPolicy BinaryPredicate)	Hotel.kif 585-585	property policy is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage propertyPolicy "%1 有 %2 ")	domainEnglishFormat.kif 4271-4271
(format ChineseTraditionalLanguage propertyPolicy "%1 有 %2 ")	domainEnglishFormat.kif 4270-4270
(format EnglishLanguage propertyPolicy "%1 has %2")	domainEnglishFormat.kif 4269-4269
(termFormat EnglishLanguage propertyPolicy "property policy")	Hotel.kif 589-589

antecedent

(=>
    (propertyPolicy ?AGENT ?POLICY)
    (forall (?X)
        (=>
            (element ?X
                (PropertyFn ?AGENT))
            (policyLocationCoverage ?POLICY ?X))))

Hotel.kif 594-599

If an agent has a policy,
then for all an object
- if the object is an element of belongings of the agent,
- then the policy covers the object

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: