TreeView Knowledge Base Browser

appearance as argument number 1

(instance colocatedAgent BinaryPredicate)	Hotel.kif 762-762	colocated business is an instance of binary predicate
(documentation colocatedAgent EnglishLanguage "(colocatedAgent ?ORG1 ?ATTR1) means that an Organization with Attribute ?ATTR1 is colocated with ?ORG1")	Hotel.kif 763-764	colocated business is an instance of binary predicate
(domain colocatedAgent 1 AutonomousAgent)	Hotel.kif 767-767	The number 1 argument of colocated business is an instance of agent
(domain colocatedAgent 2 RelationalAttribute)	Hotel.kif 768-768	The number 2 argument of colocated business is an instance of relational attribute

appearance as argument number 2

(termFormat EnglishLanguage colocatedAgent "colocated business")	Hotel.kif 765-765
(format EnglishLanguage colocatedAgent "a %2 organization is located at %1")	domainEnglishFormat.kif 3028-3028
(format ChineseTraditionalLanguage colocatedAgent "%2 organization 是坐落在 %1 ")	domainEnglishFormat.kif 3029-3029
(format ChineseLanguage colocatedAgent "%2 organization 是坐落在 %1 ")	domainEnglishFormat.kif 3030-3030

antecedent

(=>
    (colocatedAgent ?ORG ?ATTR)
    (exists (?ORG2 ?LOC)
        (and
            (instance ?ORG2 AutonomousAgent)
            (attribute ?ORG2 ?ATTR)
            (located ?ORG ?LOC)
            (located ?ORG2 ?LOC))))

Hotel.kif 770-777

If a X organization is located at Y, then there exist Z, W such that Z is an instance of agent, X is an attribute of Z, Y is located at W, and Z is located at W

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