| Brazil
| |
| appearance as argument number 1 |
|
|
| (currencyType Brazil BrazilianReal) | Economy.kif 3362-3362 | |
| (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 11858-11858 | |
| (termFormat ChineseTraditionalLanguage Brazil "巴西") | domainEnglishFormat.kif 11857-11857 | |
| (termFormat EnglishLanguage Brazil "brazil") | domainEnglishFormat.kif 11856-11856 |
| appearance as argument number 3 |
|
|
| (codeMapping ISO_3166_1_alpha_2 "BR" Brazil) | Media.kif 2667-2667 |
|
|
|