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 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6962-6962 | Wales 接上 England |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6961-6961 | Wales 在 England 的 西方 |
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 的 西方 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6963-6963 | 北爱尔兰 在 Wales 的 西北 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6964-6964 | 苏格兰 在 Wales 的 北 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65718-65718 |