No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 471-471 |
Belize is a geographic subregion of middle america |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 473-473 |
Clipperton island is a geographic subregion of middle america |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 474-474 |
Costa rica is a geographic subregion of middle america |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 476-476 |
El salvador is a geographic subregion of middle america |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 478-478 |
Guatemala is a geographic subregion of middle america |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 480-480 |
Honduras is a geographic subregion of middle america |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 482-482 |
Mexico is a geographic subregion of middle america |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 484-484 |
Nicaragua is a geographic subregion of middle america |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 486-486 |
Panama is a geographic subregion of middle america |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 125-125 |
Middle america has name "Middle America" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37457-37457 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37456-37456 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37455-37455 |
|