Brazil - Sigma Knowledge base Browser

appearance as argument number 1

(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
(documentation Brazil EnglishLanguage "The Nation of Brazil.")	CountriesAndRegions.kif 1199-1199	Brazil is an instance of nation
(currencyType Brazil BrazilianReal)	Economy.kif 3357-3357	Brazilian real is a currency type of brazil
(orientation Brazil AndesMountains East)	Geography.kif 1431-1431	Brazil is east of to Andes Mountains
(externalImage Brazil "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ B/ Brazil.png")	pictureList.kif 289-289	Brazil is east of to Andes Mountains

appearance as argument number 2

(names "Brazil" Brazil)	CountriesAndRegions.kif 4125-4125	Brazil has name "Brazil"
(located ArraiasGOAirport Brazil)	WorldAirports.kif 37-37	Arraias GO Airport is located at brazil
(located AraxaMGAirport Brazil)	WorldAirports.kif 93-93	Araxa MG Airport is located at brazil
(located AltaFlorestaAirport Brazil)	WorldAirports.kif 436-436	Alta Floresta Airport is located at brazil
(located AssisSPAirport Brazil)	WorldAirports.kif 648-648	Assis SP Airport is located at brazil
(located AripuanaMTAirport Brazil)	WorldAirports.kif 684-684	Aripuana MT Airport is located at brazil
(located AracajuSEAirport Brazil)	WorldAirports.kif 748-748	Aracaju SE Airport is located at brazil
(located AlegreteRSAirport Brazil)	WorldAirports.kif 908-908	Alegrete RS Airport is located at brazil
(located AlenquerPAAirport Brazil)	WorldAirports.kif 920-920	Alenquer PA Airport is located at brazil
(located AlmenaraMGAirport Brazil)	WorldAirports.kif 984-984	Almenara MG Airport is located at brazil
(located AnapolisGOAirport Brazil)	WorldAirports.kif 1280-1280	Anapolis GO Airport is located at brazil
(located ApucaranaPRAirport Brazil)	WorldAirports.kif 1288-1288	Apucarana PR Airport is located at brazil
(located ArapongasPRAirport Brazil)	WorldAirports.kif 1300-1300	Arapongas PR Airport is located at brazil
(located AltodoParnaibaPIAirport Brazil)	WorldAirports.kif 1304-1304	Altodo Parnaiba PI Airport is located at brazil
(located AraraquaraSPAirport Brazil)	WorldAirports.kif 1312-1312	Araraquara SP Airport is located at brazil
(located AriquemesROAirport Brazil)	WorldAirports.kif 1328-1328	Ariquemes RO Airport is located at brazil
(located AragarcasGOAirport Brazil)	WorldAirports.kif 1412-1412	Aragarcas GO Airport is located at brazil
(located AracatubaSPAirport Brazil)	WorldAirports.kif 1420-1420	Aracatuba SP Airport is located at brazil
(located AltamiraPAAirport Brazil)	WorldAirports.kif 1592-1592	Altamira PA Airport is located at brazil
(located AraguainaTOAirport Brazil)	WorldAirports.kif 1724-1724	Araguaina TO Airport is located at brazil
(located BarretosSPAirport Brazil)	WorldAirports.kif 2099-2099	Barretos SP Airport is located at brazil
(located BauruSPAirport Brazil)	WorldAirports.kif 2103-2103	Bauru SP Airport is located at brazil
(located BarcelosAMAirport Brazil)	WorldAirports.kif 2123-2123	Barcelos AM Airport is located at brazil
(located BocadoAcreAMAirport Brazil)	WorldAirports.kif 2291-2291	Bocado Acre AM Airport is located at brazil
(located BragancaPAAirport Brazil)	WorldAirports.kif 2311-2311	Braganca PA Airport is located at brazil

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

(codeMapping ISO_3166_1_alpha_2 "BR" Brazil)

Media.kif 2612-2612

"BR" in ISO_3166_1_alpha_2 denotes brazil

consequent

(=>
    (and
        (instance ?W Pampero)
        (eventLocated ?W ?A)
        (instance ?A Pampa))
    (or
        (geographicSubregion ?A Argentina)
        (geographicSubregion ?A Brazil)
        (geographicSubregion ?A Bolivia)
        (geographicSubregion ?A Paraguay)
        (geographicSubregion ?A Uruguay)))

Weather.kif 2236-2246

If X is an instance of pampero, X is located at Y, and Y is an instance of pampa, then At least one of the following holds: (1) Y is a geographic subregion of argentina (2) Y is a geographic subregion of brazil (3) Y is a geographic subregion of bolivia (4) Y is a geographic subregion of paraguay (5) Y is a geographic subregion of uruguay

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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners