No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 800-800 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4816-4816 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 798-798 |
Scotland is an instance of geopolitical area |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6952-6952 |
Scotland meets England |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6951-6951 |
Scotland is north to England |
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. |
CountriesAndRegions.kif 799-799 |
Scotland is a part of united kingdom |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6968-6968 |
United kingdom is a primary geopolitical subdivision of scotland |