| Bolivia(bolivia)
| | Bolivia, Republic_of_Bolivia |
| appearance as argument number 1 |
|
|
| (geographicSubregion Bolivia CentralSouthAmerica) | CountriesAndRegions.kif 495-495 | Bolivia is a geographic subregion of central south america |
| (instance Bolivia Nation) | CountriesAndRegions.kif 496-496 | Bolivia is an instance of nation |
| (documentation Bolivia EnglishLanguage "The Nation of Bolivia.") | CountriesAndRegions.kif 1196-1196 | Bolivia is an instance of nation |
| (currencyType Bolivia BolivianBoliviano) | Economy.kif 3349-3349 | Bolivian boliviano is a currency type of bolivia |
| (externalImage Bolivia "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ B/ Bolivia.png") | pictureList.kif 278-278 | Bolivian boliviano is a currency type of bolivia |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (codeMapping ISO_3166_1_alpha_2 "BO" Bolivia) | Media.kif 2666-2666 | "BO" in ISO_3166_1_alpha_2 denotes bolivia |
| 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 |
|
|
|