| Brazil
| |
| appearance as argument number 1 |
|
|
| (currencyType Brazil BrazilianReal) | Economy.kif 3140-3140 | |
| (documentation Brazil EnglishLanguage "The Nation of Brazil.") | CountriesAndRegions.kif 1199-1199 | |
| (externalImage Brazil "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ B/ Brazil.png") | pictureList.kif 289-289 | |
| (geographicSubregion Brazil EasternSouthAmerica) | CountriesAndRegions.kif 500-500 | |
| (instance Brazil Nation) | CountriesAndRegions.kif 501-501 |
| appearance as argument number 2 |
|
|
| (names "Brazil" Brazil) | CountriesAndRegions.kif 4125-4125 | |
| (termFormat ChineseLanguage Brazil "巴西") | domainEnglishFormat.kif 11854-11854 | |
| (termFormat ChineseTraditionalLanguage Brazil "巴西") | domainEnglishFormat.kif 11853-11853 | |
| (termFormat EnglishLanguage Brazil "brazil") | domainEnglishFormat.kif 11852-11852 |
| appearance as argument number 3 |
|
|
| (codeMapping ISO-3166-1-alpha-2 "BR" Brazil) | Media.kif 2665-2665 |
|
|
|