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 6661-6663
(domain neighbor 1 Human)	Mid-level-ontology.kif 6659-6659	邻居的 1 数量是人类的 instance
(domain neighbor 2 Human)	Mid-level-ontology.kif 6660-6660	邻居的 2 数量是人类的 instance
(instance neighbor BinaryPredicate)	Mid-level-ontology.kif 6656-6656	邻居是二元谓语的 instance
(instance neighbor IrreflexiveRelation)	Mid-level-ontology.kif 6658-6658	邻居是非自反关系的 instance
(instance neighbor SymmetricRelation)	Mid-level-ontology.kif 6657-6657	邻居是对称关系的 instance

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 40103-40103
(termFormat ChineseTraditionalLanguage neighbor "鄰居")	domainEnglishFormat.kif 40102-40102
(termFormat EnglishLanguage neighbor "neighbor")	domainEnglishFormat.kif 40101-40101

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 6665-6672

如果人类是另一个人类的 neighbor ，
然后有存在永久居留权和另一个永久居留权这样那个另外人类的 home 是那个永久居留权和那个人类的 home 是那个另外永久居留权和那个永久居留权不 equal 那个另外永久居留权和那个永久居留权在那个另外永久居留权的近

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

KB Term:			Term intersection

English Word: