Argentina(argentina)
| Argentina, Argentine_Republic |
| appearance as argument number 1 |
|
|
| (geographicSubregion Argentina SouthernSouthAmerica) | CountriesAndRegions.kif 513-513 | Argentina is a geographic subregion of southern south america |
| (instance Argentina Nation) | CountriesAndRegions.kif 514-514 | Argentina is an instance of nation |
| (documentation Argentina EnglishLanguage "The Nation of Argentina.") | CountriesAndRegions.kif 1182-1182 | Argentina is an instance of nation |
| (economyType Argentina LessDevelopedCountry) | Economy.kif 235-235 | Less developed country is an economy type of argentina |
| (economyType Argentina DevelopingCountry) | Economy.kif 619-619 | Developing country is an economy type of argentina |
| (currencyType Argentina ArgentineAustral) | Economy.kif 3289-3289 | Argentine austral is a currency type of argentina |
| (externalImage Argentina "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ A/ Argentina.png") | pictureList.kif 233-233 | Argentine austral is a currency type of argentina |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (codeMapping ISO_3166_1_alpha_2 "AR" Argentina) | Media.kif 2651-2651 | "AR" in ISO_3166_1_alpha_2 denotes argentina |
| antecedent |
|
|
| (=> (and (instance ?W ZondaWind) (eventLocated ?W ?A) (geographicSubregion ?A Argentina)) (orientation ?A AndesMountains East)) |
Weather.kif 2219-2224 | If X is an instance of Zonda wind, X is located at Y, and Y is a geographic subregion of argentina, then Y is east of to Andes Mountains |
| 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 2251-2261 | 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 |
|
|