Adjacent(邻) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3822-3823 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17098-17101 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17097-17097 | 邻 是 SymmetricPositionalAttribute 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5442-5442 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5441-5441 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5440-5440 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 535-535 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17103-17107 | 客体 在 另一个 客体 的 邻 若且唯若 那个 客体 在 那个 另外 客体 的 近 或 那个 客体 和 那个 另外 客体 是 connected |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6126-6131 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6152-6161 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4247-4257 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4206-4216 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4231-4241 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15166-15187 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 716-718 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 939-944 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5147-5155 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 956-980 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15237-15248 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1057-1065 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1072-1080 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 712-714 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8181-8186 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 841-850 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 873-882 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1379-1384 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26053-26074 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26639-26648 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4199-4204 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 864-866 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6163-6165 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 716-718 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24819-24821 |
|