TreeView Knowledge Base Browser

appearance as argument number 1

(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 6306-6308
(domain neighbor 1 Human)	Mid-level-ontology.kif 6304-6304	domain neighbor, 1 and Human
(domain neighbor 2 Human)	Mid-level-ontology.kif 6305-6305	domain neighbor, 2 and Human
(instance neighbor BinaryPredicate)	Mid-level-ontology.kif 6301-6301	instance neighbor and BinaryPredicate
(instance neighbor IrreflexiveRelation)	Mid-level-ontology.kif 6303-6303	instance neighbor and IrreflexiveRelation
(instance neighbor SymmetricRelation)	Mid-level-ontology.kif 6302-6302	instance neighbor and SymmetricRelation

appearance as argument number 2

(format ChineseLanguage neighbor "%2 %n 是 %1 的 neighbor ")	domainEnglishFormat.kif 1799-1799
(format ChineseTraditionalLanguage neighbor "%2 %n 是 %1 的 neighbor ")	domainEnglishFormat.kif 1798-1798
(format EnglishLanguage neighbor "%2 is %n a neighbor of %1")	domainEnglishFormat.kif 1797-1797
(termFormat ChineseLanguage neighbor "邻居")	domainEnglishFormat.kif 40027-40027
(termFormat ChineseTraditionalLanguage neighbor "鄰居")	domainEnglishFormat.kif 40026-40026
(termFormat EnglishLanguage neighbor "neighbor")	domainEnglishFormat.kif 40025-40025

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 6310-6317

neighbor Human and Human
PermanentResidence PermanentResidence home Human and PermanentResidence home Human and PermanentResidence equal PermanentResidence and PermanentResidence orientation PermanentResidence, PermanentResidence and Near

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

KB Term:			Term intersection

English Word: