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 611-613
(domain propertyPolicy 1 AutonomousAgent)	Hotel.kif 616-616
(domain propertyPolicy 2 Policy)	Hotel.kif 617-617
(instance propertyPolicy BinaryPredicate)	Hotel.kif 610-610

appearance as argument number 2

(format ChineseLanguage propertyPolicy "%1 有 %2 ")	domainEnglishFormat.kif 4266-4266
(format ChineseTraditionalLanguage propertyPolicy "%1 有 %2 ")	domainEnglishFormat.kif 4265-4265
(format EnglishLanguage propertyPolicy "%1 has %2")	domainEnglishFormat.kif 4264-4264
(termFormat EnglishLanguage propertyPolicy "property policy")	Hotel.kif 614-614

antecedent

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

Hotel.kif 619-624

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

KB Term:			Term intersection

English Word: