|
|
  West
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3807-3807 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17026-17026 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2059-2059 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17025-17025 | 西方 是 方向属性 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18134-18134 | 西方 是 东 的 opposite 方向 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62709-62709 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62708-62708 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62707-62707 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 276-276 | 欧洲 在 亚洲 的 西方 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6966-6966 | 爱尔兰 在 Wales 的 西方 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6961-6961 | Wales 在 England 的 西方 |
| appearance as argument number 4 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17012-17012 | 北 是 南 的相反 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3743-3745 | 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体 在 另一个 客体 的 西方 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17028-17030 | 客体 在 另一个 客体 的 东 若且唯若 那个 另外 客体 在 那个 客体 的 西方 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3688-3692 | 客体 在 另一个 客体 的 西北 若且唯若 那个 客体 在 那个 另外 客体 的 北 和 那个 客体 在 那个 另外 客体 的 西方 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3676-3680 | 客体 在 另一个 客体 的 西南 若且唯若 那个 客体 在 那个 另外 客体 的 南 和 那个 客体 在 那个 另外 客体 的 西方 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 461-465 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3778-3782 |
|
|
|
