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

Formal Language: 



KB Term:  Term intersection
English Word: 

  neighbor

 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 6666-6668
(domain neighbor 1 Human) Mid-level-ontology.kif 6664-6664 Il numero 1 argomenti di neighbor è un istanza di Umano
(domain neighbor 2 Human) Mid-level-ontology.kif 6665-6665 Il numero 2 argomenti di neighbor è un istanza di Umano
(instance neighbor BinaryPredicate) Mid-level-ontology.kif 6661-6661 neighbor è un' istanza di PredicatoBinario
(instance neighbor IrreflexiveRelation) Mid-level-ontology.kif 6663-6663 neighbor è un' istanza di RelazioneNonRiflessiva
(instance neighbor SymmetricRelation) Mid-level-ontology.kif 6662-6662 neighbor è un' istanza di RelazioneSimmetrica

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

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 6670-6677


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners