TreeView Knowledge Base Browser

appearance as argument number 1

(instance neighbor BinaryPredicate)	Mid-level-ontology.kif 7750-7750	neighbor is an instance of binary predicate
(instance neighbor SymmetricRelation)	Mid-level-ontology.kif 7751-7751	neighbor is an instance of symmetric relation
(instance neighbor IrreflexiveRelation)	Mid-level-ontology.kif 7752-7752	neighbor is an instance of irreflexive relation
(domain neighbor 1 Human)	Mid-level-ontology.kif 7753-7753	The number 1 argument of neighbor is an instance of human
(domain neighbor 2 Human)	Mid-level-ontology.kif 7754-7754	The number 2 argument of neighbor is an instance of human
(documentation neighbor EnglishLanguage "(neighbor ?PERSON1 ?PERSON2) means that ?PERSON1 is a neighbor of ?PERSON2, i.e. ?PERSON1 and ?PERSON2 have their homes Near one another.")	Mid-level-ontology.kif 7755-7757	The number 2 argument of neighbor is an instance of human

appearance as argument number 2

(format EnglishLanguage neighbor "%2 is %n a neighbor of %1")	domainEnglishFormat.kif 1801-1801
(format ChineseTraditionalLanguage neighbor "%2 %n 是 %1 的 neighbor ")	domainEnglishFormat.kif 1802-1802
(format ChineseLanguage neighbor "%2 %n 是 %1 的 neighbor ")	domainEnglishFormat.kif 1803-1803
(termFormat EnglishLanguage neighbor "neighbor")	domainEnglishFormat.kif 40105-40105
(termFormat ChineseTraditionalLanguage neighbor "鄰居")	domainEnglishFormat.kif 40106-40106
(termFormat ChineseLanguage neighbor "邻居")	domainEnglishFormat.kif 40107-40107

antecedent

(=>
    (neighbor ?PERSON1 ?PERSON2)
    (exists (?HOME1 ?HOME2)
        (and
            (home ?PERSON1 ?HOME1)
            (home ?PERSON2 ?HOME2)
            (not
                (equal ?HOME1 ?HOME2))
            (orientation ?HOME1 ?HOME2 Near))))

Mid-level-ontology.kif 7759-7766

If X is a neighbor of Y, then there exist Z, W such that the home of Y is Z, the home of X is W, equal Z, W, and Z is near to W

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

KB Term:			Term intersection

English Word: