No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3776-3776 |
Gibraltar is a dependent of united kingdom |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3777-3777 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 462-462 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 392-392 |
Gibraltar is a geographic subregion of southwestern europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3880-3880 |
Gibraltar is an instance of dependency or special sovereignty area |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 388-388 |
Gibraltar is an instance of land area |