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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Brazil
Brazil(brazil)
Brasil, Brazil, Federative_Republic_of_Brazil

appearance as argument number 1
-------------------------


(currencyType Brazil BrazilianReal) Economy.kif 3140-3140 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 11854-11854 Brazil has name "Brazil"
(termFormat ChineseTraditionalLanguage Brazil "巴西") domainEnglishFormat.kif 11853-11853 Brazil has name "Brazil"
(termFormat EnglishLanguage Brazil "brazil") domainEnglishFormat.kif 11852-11852 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


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