Wales(Wales) | ![]() | Cambria, Cymru, 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 is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6962-6962 | Wales meets England |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6961-6961 | Wales is west to England |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6971-6971 | United kingdom is a primary geopolitical subdivision of Wales |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6966-6966 | Ireland is west to Wales |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6963-6963 | Northern ireland is northwest to Wales |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6964-6964 | Scotland is north to Wales |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65718-65718 |
![]() |
![]() |