No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3809-3809 |
Martinique is a dependent of france |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3810-3810 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 582-582 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 451-451 |
Martinique is a geographic subregion of caribbean region |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3897-3897 |
Martinique is an instance of dependency or special sovereignty area |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 421-421 |
Martinique is an instance of land area |