Paraguay - Sigma Knowledge base Browser

appearance as argument number 1

(geographicSubregion Paraguay CentralSouthAmerica)	CountriesAndRegions.kif 497-497	Paraguay is a geographic subregion of central south america
(instance Paraguay Nation)	CountriesAndRegions.kif 498-498	Paraguay is an instance of nation
(documentation Paraguay EnglishLanguage "The Nation of Paraguay.")	CountriesAndRegions.kif 1321-1321	Paraguay is an instance of nation
(economyType Paraguay LessDevelopedCountry)	Economy.kif 312-312	Less developed country is an economy type of paraguay
(economyType Paraguay DevelopingCountry)	Economy.kif 696-696	Developing country is an economy type of paraguay
(currencyType Paraguay ParaguayanGuarani)	Economy.kif 3729-3729	Paraguayan guarani is a currency type of paraguay
(orientation Paraguay AndesMountains East)	Geography.kif 1432-1432	Paraguay is east of to Andes Mountains
(externalImage Paraguay "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ P/ Paraguay.png")	pictureList.kif 656-656	Paraguay is east of to Andes Mountains

appearance as argument number 2

(names "Paraguay" Paraguay)	CountriesAndRegions.kif 4123-4123	Paraguay has name "Paraguay"
(located CiudaddelEsteAirport Paraguay)	WorldAirports.kif 536-536	Ciudaddel Este Airport is located at paraguay
(located PresidenteStroessnerAsuncionAirport Paraguay)	WorldAirports.kif 1520-1520	Presidente Stroessner Asuncion Airport is located at paraguay
(located EncarnacionAirport Paraguay)	WorldAirports.kif 8326-8326	Encarnacion Airport is located at paraguay
(located MariscalEstigarribiaAirport Paraguay)	WorldAirports.kif 8516-8516	Mariscal Estigarribia Airport is located at paraguay
(located FiladelfiaAirport Paraguay)	WorldAirports.kif 9208-9208	Filadelfia Airport is located at paraguay
(located PilarAirport Paraguay)	WorldAirports.kif 23787-23787	Pilar Airport is located at paraguay
(located PedroJuanCaballeroAirport Paraguay)	WorldAirports.kif 23842-23842	Pedro Juan Caballero Airport is located at paraguay
(termFormat EnglishLanguage Paraguay "paraguay")	domainEnglishFormat.kif 44369-44369	Pedro Juan Caballero Airport is located at paraguay
(termFormat ChineseTraditionalLanguage Paraguay "巴拉圭")	domainEnglishFormat.kif 44370-44370	Pedro Juan Caballero Airport is located at paraguay
(termFormat ChineseLanguage Paraguay "巴拉圭")	domainEnglishFormat.kif 44371-44371	Pedro Juan Caballero Airport is located at paraguay

appearance as argument number 3

(codeMapping ISO_3166_1_alpha_2 "PY" Paraguay)

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)))

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