| 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 6661-6663 | |
| (domain neighbor 1 Human) | Mid-level-ontology.kif 6659-6659 | 邻居 的 1 数量 是 人类 的 instance |
| (domain neighbor 2 Human) | Mid-level-ontology.kif 6660-6660 | 邻居 的 2 数量 是 人类 的 instance |
| (instance neighbor BinaryPredicate) | Mid-level-ontology.kif 6656-6656 | 邻居 是 二元谓语 的 instance |
| (instance neighbor IrreflexiveRelation) | Mid-level-ontology.kif 6658-6658 | 邻居 是 非自反关系 的 instance |
| (instance neighbor SymmetricRelation) | Mid-level-ontology.kif 6657-6657 | 邻居 是 对称关系 的 instance |
| 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 40103-40103 | |
| (termFormat ChineseTraditionalLanguage neighbor "鄰居") | domainEnglishFormat.kif 40102-40102 | |
| (termFormat EnglishLanguage neighbor "neighbor") | domainEnglishFormat.kif 40101-40101 |
| 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 6665-6672 |
|
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 3.0 is open source software produced by Articulate Software and its partners