TreeView Knowledge Base Browser

appearance as argument number 1

(instance propertyPolicy BinaryPredicate)	Hotel.kif 610-610	property policy is an instance of binary predicate
(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	property policy is an instance of binary predicate
(domain propertyPolicy 1 AutonomousAgent)	Hotel.kif 616-616	The number 1 argument of property policy is an instance of agent
(domain propertyPolicy 2 Policy)	Hotel.kif 617-617	The number 2 argument of property policy is an instance of policy

appearance as argument number 2

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

antecedent

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

Hotel.kif 619-624

If X has Y, then For all Object Z: if Z is an element of belongings of X, then Y covers Z

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

KB Term:			Term intersection

English Word: