Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Bolivia
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 AndesMountainsBoliviatraverses

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners