|
|
  Wales
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6957-6959 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6956-6956 | 例 Wales and GeographicArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6962-6962 | 空間的符合 Wales and England |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6961-6961 | 方位 Wales, England and 西方 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6971-6971 | 英國 是 Wales 的 primary 地緣政治細分 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6966-6966 | 方位 愛爾蘭, Wales and 西方 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6963-6963 | 方位 北愛爾蘭, Wales and 西北 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6964-6964 | 方位 蘇格蘭, Wales and 北 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65718-65718 |
|
|
|