| Mexico(mexico)
| | Mexico, United_Mexican_States |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3329-3329 | Mexican peso is a currency type of mexico |
| 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 | Developed country is an economy type of mexico |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 682-682 | Developing country is an economy type of mexico |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 298-298 | Less developed country is an economy type of mexico |
| 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 | Mexico is a geographic subregion of middle america |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 483-483 | Mexico is an instance of nation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1294-1294 | Mexico meets united states |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 886-886 | Arizona meets mexico |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 904-904 | California meets mexico |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1048-1048 | New mexico meets mexico |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1112-1112 | Texas meets mexico |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4118-4118 | Mexico has name "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 | "MX" in ISO-3166-1-alpha-2 denotes mexico |
|
|
|