| Brazil(brazil)
| | Brasil, Brazil, Federative_Republic_of_Brazil |
| appearance as argument number 1 |
|
|
| (currencyType Brazil BrazilianReal) | Economy.kif 3025-3025 | Brazilian real is a currency type of brazil |
| (documentation Brazil EnglishLanguage "The Nation of Brazil.") | CountriesAndRegions.kif 1199-1199 | Brazilian real is a currency type of brazil |
| (externalImage Brazil "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ B/ Brazil.png") | pictureList.kif 289-289 | Brazilian real is a currency type of brazil |
| (geographicSubregion Brazil EasternSouthAmerica) | CountriesAndRegions.kif 500-500 | Brazil is a geographic subregion of eastern south america |
| (instance Brazil Nation) | CountriesAndRegions.kif 501-501 | Brazil is an instance of nation |
| appearance as argument number 2 |
|
|
| (names "Brazil" Brazil) | CountriesAndRegions.kif 4125-4125 | Brazil has name "Brazil" |
| (termFormat ChineseLanguage Brazil "巴西") | domainEnglishFormat.kif 11859-11859 | Brazil has name "Brazil" |
| (termFormat ChineseTraditionalLanguage Brazil "巴西") | domainEnglishFormat.kif 11858-11858 | Brazil has name "Brazil" |
| (termFormat EnglishLanguage Brazil "brazil") | domainEnglishFormat.kif 11857-11857 | Brazil has name "Brazil" |
| appearance as argument number 3 |
|
|
| (codeMapping ISO-3166-1-alpha-2 "BR" Brazil) | Media.kif 2665-2665 | "BR" in ISO-3166-1-alpha-2 denotes brazil |
|
|
|