| Mexico(mexico)
| | Mexico, United_Mexican_States |
| appearance as argument number 1 |
|
|
| (currencyType Mexico MexicanPeso) | Economy.kif 3539-3539 | Mexican peso is a currency type of mexico |
| (documentation Mexico EnglishLanguage "A large Spanish_speaking country that borders on the UnitedStates.") | CountriesAndRegions.kif 1295-1295 | Mexican peso is a currency type of mexico |
| (economyType Mexico DevelopedCountry) | Economy.kif 167-167 | Developed country is an economy type of mexico |
| (economyType Mexico DevelopingCountry) | Economy.kif 682-682 | Developing country is an economy type of mexico |
| (economyType Mexico LessDevelopedCountry) | Economy.kif 298-298 | Less developed country is an economy type of mexico |
| (externalImage Mexico "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ M/ Mexico.png") | pictureList.kif 590-590 | Less developed country is an economy type of mexico |
| (geographicSubregion Mexico MiddleAmerica) | CountriesAndRegions.kif 482-482 | Mexico is a geographic subregion of middle america |
| (instance Mexico Nation) | CountriesAndRegions.kif 483-483 | Mexico is an instance of nation |
| (meetsSpatially Mexico UnitedStates) | CountriesAndRegions.kif 1294-1294 | Mexico meets united states |
| appearance as argument number 2 |
|
|
| (meetsSpatially Arizona Mexico) | CountriesAndRegions.kif 886-886 | Arizona meets mexico |
| (meetsSpatially California Mexico) | CountriesAndRegions.kif 904-904 | California meets mexico |
| (meetsSpatially NewMexico Mexico) | CountriesAndRegions.kif 1048-1048 | New mexico meets mexico |
| (meetsSpatially Texas Mexico) | CountriesAndRegions.kif 1112-1112 | Texas meets mexico |
| (names "Mexico" Mexico) | CountriesAndRegions.kif 4118-4118 | Mexico has name "Mexico" |
| (termFormat ChineseLanguage Mexico "墨西哥") | domainEnglishFormat.kif 37429-37429 | Mexico has name "Mexico" |
| (termFormat ChineseTraditionalLanguage Mexico "墨西哥") | domainEnglishFormat.kif 37428-37428 | Mexico has name "Mexico" |
| (termFormat EnglishLanguage Mexico "mexico") | domainEnglishFormat.kif 37427-37427 | Mexico has name "Mexico" |
| appearance as argument number 3 |
|
|
| (codeMapping ISO_3166_1_alpha_2 "MX" Mexico) | Media.kif 2761-2761 | "MX" in ISO_3166_1_alpha_2 denotes mexico |
|
|
|