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 17120-17123 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17119-17119 | 邻 是 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 17125-17129 | 客体 在 另一个 客体 的 邻 若且唯若 那个 客体 在 那个 另外 客体 的 近 或 那个 客体 和 那个 另外 客体 是 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 15188-15209 |
|
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 15236-15247 | |
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 8180-8185 | |
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 1375-1380 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26041-26062 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26627-26636 | |
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 24818-24820 |
|