Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - neighbor
neighbor

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 6300-6302
(domain neighbor 1 Human) Mid-level-ontology.kif 6298-6298 domain neighbor, 1 and Human
(domain neighbor 2 Human) Mid-level-ontology.kif 6299-6299 domain neighbor, 2 and Human
(instance neighbor BinaryPredicate) Mid-level-ontology.kif 6295-6295 instance neighbor and BinaryPredicate
(instance neighbor IrreflexiveRelation) Mid-level-ontology.kif 6297-6297 instance neighbor and IrreflexiveRelation
(instance neighbor SymmetricRelation) Mid-level-ontology.kif 6296-6296 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 39997-39997
(termFormat ChineseTraditionalLanguage neighbor "鄰居") domainEnglishFormat.kif 39996-39996
(termFormat EnglishLanguage neighbor "neighbor") domainEnglishFormat.kif 39995-39995

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 6304-6311


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners