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 | |
(domain neighbor 2 Human) | Mid-level-ontology.kif 6665-6665 | |
(instance neighbor BinaryPredicate) | Mid-level-ontology.kif 6661-6661 | |
(instance neighbor IrreflexiveRelation) | Mid-level-ontology.kif 6663-6663 | |
(instance neighbor SymmetricRelation) | Mid-level-ontology.kif 6662-6662 |
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 |