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 7604-7606
(domain neighbor 1 Human)	Mid-level-ontology.kif 7602-7602	neighbor の数値 1 引数は人［人間］の instance では
(domain neighbor 2 Human)	Mid-level-ontology.kif 7603-7603	neighbor の数値 2 引数は人［人間］の instance では
(instance neighbor BinaryPredicate)	Mid-level-ontology.kif 7599-7599	neighbor は 2進述語の instance では
(instance neighbor IrreflexiveRelation)	Mid-level-ontology.kif 7601-7601	neighbor は非反射関係の instance では
(instance neighbor SymmetricRelation)	Mid-level-ontology.kif 7600-7600	neighbor は対称関係の instance では

appearance as argument number 2

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

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 7608-7615

neighbor 人［人間］ and 人［人間］
PermanentResidence PermanentResidence 人［人間］の homeは PermanentResidence では人［人間］の homeは PermanentResidence では equal PermanentResidence and PermanentResidence PermanentResidence は Near 対 PermanentResidence では

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

KB Term:			Term intersection

English Word: