|
|
  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 e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1294-1294 | Mexico encontra UnitedStates |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 886-886 | Arizona encontra Mexico |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 904-904 | California encontra Mexico |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1048-1048 | NewMexico encontra Mexico |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1112-1112 | Texas encontra Mexico |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4118-4118 | Mexico se chama nome "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 |
|
|
|
