Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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
(externalImage Brazil " Country_Maps/ B/ Brazil.png") pictureList.kif 289-289
(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 11843-11843
(termFormat ChineseTraditionalLanguage Brazil "巴西") domainEnglishFormat.kif 11842-11842
(termFormat EnglishLanguage Brazil "brazil") domainEnglishFormat.kif 11841-11841

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

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners