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 est une instance de secteur g�opolitique |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6952-6952 |
Scotland rencontre England |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6951-6951 |
Scotland est North � England |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6964-6964 |
Scotland est North � Wales |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 799-799 |
Scotland est une partie de UnitedKingdom |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6968-6968 |
primaryGeopoliticalSubdivision Scotland and UnitedKingdom |