Mexico
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3329-3329 | currencyType Mexico and MexicanPeso |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1295-1295 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 167-167 | economyType Mexico and DevelopedCountry |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 682-682 | economyType Mexico and DevelopingCountry |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 298-298 | economyType Mexico and LessDevelopedCountry |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 590-590 | |
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 483-483 | Mexico est une instance de nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1294-1294 | Mexico rencontre UnitedStates |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 886-886 | Arizona rencontre Mexico |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 904-904 | California rencontre Mexico |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1048-1048 | NewMexico rencontre Mexico |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1112-1112 | Texas rencontre Mexico |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4118-4118 | Mexico s'appele nom "Mexico" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37403-37403 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37402-37402 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37401-37401 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2761-2761 | codeMapping ISO-3166-1-alpha-2, "MX" and Mexico |