TreeView Knowledge Base Browser

appearance as argument number 1

(geographicSubregion Uruguay SouthernSouthAmerica)	CountriesAndRegions.kif 519-519	Uruguay is a geographic subregion of southern south america
(instance Uruguay Nation)	CountriesAndRegions.kif 520-520	Uruguay is an instance of nation
(documentation Uruguay EnglishLanguage "The Nation of Uruguay.")	CountriesAndRegions.kif 1377-1377	Uruguay is an instance of nation
(economyType Uruguay LessDevelopedCountry)	Economy.kif 342-342	Less developed country is an economy type of uruguay
(economyType Uruguay DevelopingCountry)	Economy.kif 726-726	Developing country is an economy type of uruguay
(currencyType Uruguay UruguayanPeso)	Economy.kif 3895-3895	Uruguayan peso is a currency type of uruguay
(externalImage Uruguay "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ U/ Uruguay.png")	pictureList.kif 815-815	Uruguayan peso is a currency type of uruguay

appearance as argument number 2

(names "Uruguay" Uruguay)	CountriesAndRegions.kif 4137-4137	Uruguay has name "Uruguay"
(located ArtigasAirport Uruguay)	WorldAirports.kif 1576-1576	Artigas Airport is located at uruguay
(located BellaUnionAirport Uruguay)	WorldAirports.kif 4012-4012	Bella Union Airport is located at uruguay
(located ColoniaAirport Uruguay)	WorldAirports.kif 6512-6512	Colonia Airport is located at uruguay
(located MeloAirport Uruguay)	WorldAirports.kif 19243-19243	Melo Airport is located at uruguay
(located CarrascoMontevideoAirport Uruguay)	WorldAirports.kif 20158-20158	Carrasco Montevideo Airport is located at uruguay
(located ElJacuelPuntadelEsteAirport Uruguay)	WorldAirports.kif 23435-23435	El Jacuel Puntadel Este Airport is located at uruguay
(located PaysanduAirport Uruguay)	WorldAirports.kif 23451-23451	Paysandu Airport is located at uruguay
(located AeropuertoDepartamentaldeRiveraRiveraAirport Uruguay)	WorldAirports.kif 27120-27120	Aeropuerto Departamentalde Rivera Rivera Airport is located at uruguay
(located AeropuertoDepartamentaldeSaltoSaltoAirport Uruguay)	WorldAirports.kif 29206-29206	Aeropuerto Departamentalde Salto Salto Airport is located at uruguay
(located TacuaremboAirport Uruguay)	WorldAirports.kif 29826-29826	Tacuarembo Airport is located at uruguay
(located TreintayTresAirport Uruguay)	WorldAirports.kif 31568-31568	Treintay Tres Airport is located at uruguay
(located VichaderoAirport Uruguay)	WorldAirports.kif 32452-32452	Vichadero Airport is located at uruguay
(termFormat EnglishLanguage Uruguay "uruguay")	domainEnglishFormat.kif 60749-60749	Vichadero Airport is located at uruguay
(termFormat ChineseTraditionalLanguage Uruguay "烏拉圭")	domainEnglishFormat.kif 60750-60750	Vichadero Airport is located at uruguay
(termFormat ChineseLanguage Uruguay "乌拉圭")	domainEnglishFormat.kif 60751-60751	Vichadero Airport is located at uruguay

appearance as argument number 3

(codeMapping ISO_3166_1_alpha_2 "UY" Uruguay)

Media.kif 2782-2782

"UY" in ISO_3166_1_alpha_2 denotes uruguay

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: