No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3782-3782 |
Guadeloupe is a dependent of france |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3783-3783 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 478-478 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 446-446 |
Guadeloupe is a geographic subregion of caribbean region |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3883-3883 |
Guadeloupe is an instance of dependency or special sovereignty area |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 420-420 |
Guadeloupe is an instance of land area |