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 |