Bolivia![]() | ![]() |
appearance as argument number 1 |
![]() |
(currencyType Bolivia BolivianBoliviano) | Economy.kif 3354-3354 | currencyType Bolivia and BolivianBoliviano |
(documentation Bolivia EnglishLanguage "The Nation of Bolivia.") | CountriesAndRegions.kif 1196-1196 | currencyType Bolivia and BolivianBoliviano |
(externalImage Bolivia "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ B/ Bolivia.png") | pictureList.kif 278-278 | currencyType Bolivia and BolivianBoliviano |
(geographicSubregion Bolivia CentralSouthAmerica) | CountriesAndRegions.kif 495-495 | geographicSubregion Bolivia and CentralSouthAmerica |
(instance Bolivia Nation) | CountriesAndRegions.kif 496-496 | Bolivia は 国民 の instance では |
appearance as argument number 2 |
![]() |
(geographicSubregion LaPazBolivia Bolivia) | CountriesAndRegions.kif 3101-3101 | geographicSubregion LaPazBolivia and Bolivia |
(names "Bolivia" Bolivia) | CountriesAndRegions.kif 4117-4117 | Bolivia は "Bolivia" の &ames$"name" を 持って |
(termFormat ChineseLanguage Bolivia "玻利维亚") | domainEnglishFormat.kif 11540-11540 | Bolivia は "Bolivia" の &ames$"name" を 持って |
(termFormat ChineseTraditionalLanguage Bolivia "玻利維亞") | domainEnglishFormat.kif 11539-11539 | Bolivia は "Bolivia" の &ames$"name" を 持って |
(termFormat EnglishLanguage Bolivia "bolivia") | domainEnglishFormat.kif 11538-11538 | Bolivia は "Bolivia" の &ames$"name" を 持って |
(traverses AndesMountains Bolivia) | Geography.kif 389-389 | AndesMountains は Bolivia を traverses |
appearance as argument number 3 |
![]() |
(codeMapping ISO_3166_1_alpha_2 "BO" Bolivia) | Media.kif 2666-2666 | codeMapping ISO_3166_1_alpha_2, "BO" and 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 1791-1801 |
|
![]() |
![]() |