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	domain propertyPolicy, 1 and Agent
(domain propertyPolicy 2 Policy)	Hotel.kif 592-592	domain propertyPolicy, 2 and Policy
(instance propertyPolicy BinaryPredicate)	Hotel.kif 585-585	instance propertyPolicy and BinaryPredicate

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

propertyPolicy Agent and Policy
Object
- element Object and PropertyFn Agent
- policyLocationCoverage Policy and Object

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

KB Term:			Term intersection

English Word: