|
|
  MiddleAmerica
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10117-10117 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11423-11423 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 235-235 | geographicSubregion MiddleAmerica and NorthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 236-236 | geographicSubregion MiddleAmerica and WesternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 94-94 | MiddleAmerica est une instance de secteur g�ographique |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 288-288 | MiddleAmerica est South � NorthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 287-287 | MiddleAmerica est North � SouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 168-168 | MiddleAmerica recouvre NorthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 169-169 | MiddleAmerica recouvre SouthAmerica |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 471-471 | geographicSubregion Belize and MiddleAmerica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 473-473 | geographicSubregion ClippertonIsland and MiddleAmerica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 474-474 | geographicSubregion CostaRica and MiddleAmerica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 476-476 | geographicSubregion ElSalvador and MiddleAmerica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 478-478 | geographicSubregion Guatemala and MiddleAmerica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 480-480 | geographicSubregion Honduras and MiddleAmerica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 482-482 | geographicSubregion Mexico and MiddleAmerica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 484-484 | geographicSubregion Nicaragua and MiddleAmerica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 486-486 | geographicSubregion Panama and MiddleAmerica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 125-125 | MiddleAmerica s'appele nom "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 |
|
|
|
