Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| neighbor |
| appearance as argument number 1 |
|
| (instance neighbor BinaryPredicate) | Mid-level-ontology.kif 7750-7750 | neighbor is an instance of binary predicate |
| (instance neighbor SymmetricRelation) | Mid-level-ontology.kif 7751-7751 | neighbor is an instance of symmetric relation |
| (instance neighbor IrreflexiveRelation) | Mid-level-ontology.kif 7752-7752 | neighbor is an instance of irreflexive relation |
| (domain neighbor 1 Human) | Mid-level-ontology.kif 7753-7753 | The number 1 argument of neighbor is an instance of human |
| (domain neighbor 2 Human) | Mid-level-ontology.kif 7754-7754 | The number 2 argument of neighbor is an instance of human |
| (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 7755-7757 | The number 2 argument of neighbor is an instance of human |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage neighbor "%2 is %n a neighbor of %1") | domainEnglishFormat.kif 1801-1801 | |
| (format ChineseTraditionalLanguage neighbor "%2 %n 是 %1 的 neighbor ") | domainEnglishFormat.kif 1802-1802 | |
| (format ChineseLanguage neighbor "%2 %n 是 %1 的 neighbor ") | domainEnglishFormat.kif 1803-1803 | |
| (termFormat EnglishLanguage neighbor "neighbor") | domainEnglishFormat.kif 40105-40105 | |
| (termFormat ChineseTraditionalLanguage neighbor "鄰居") | domainEnglishFormat.kif 40106-40106 | |
| (termFormat ChineseLanguage neighbor "邻居") | domainEnglishFormat.kif 40107-40107 |
| 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 7759-7766 | If X is a neighbor of Y, then there exist Z, W such that the home of Y is Z, the home of X is W, equal Z, W, and Z is near to W |
|