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 e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 288-288 | MiddleAmerica e' South em relacao a NorthAmerica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 287-287 | MiddleAmerica e' North em relacao a SouthAmerica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 168-168 | MiddleAmerica engloba NorthAmerica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 169-169 | MiddleAmerica engloba 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 se chama nome "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 |