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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Bermuda
Bermuda, Bermudas

appearance as argument number 1

(currencyType Bermuda BermudaDollar) Economy.kif 3009-3009 Bermuda dollar is a currency type of bermuda
(dependentGeopoliticalArea Bermuda UnitedKingdom) CountriesAndRegions.kif 3738-3738 Bermuda is a dependent of united kingdom
(documentation Bermuda EnglishLanguage "A dependency of the UnitedKingdom") CountriesAndRegions.kif 3739-3739
(economyType Bermuda DevelopedCountry) Economy.kif 150-150 Developed country is an economy type of bermuda
(externalImage Bermuda " Country_Maps/ B/ Bermuda.png") pictureList.kif 275-275
(geographicSubregion Bermuda NorthAmerica) CountriesAndRegions.kif 404-404 Bermuda is a geographic subregion of north america
(instance Bermuda DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3864-3864 Bermuda is an instance of dependency or special sovereignty area
(instance Bermuda LandArea) CountriesAndRegions.kif 400-400 Bermuda is an instance of land area

appearance as argument number 2

(names "Bermuda" Bermuda) CountriesAndRegions.kif 4078-4078 Bermuda has name "Bermuda"
(termFormat ChineseLanguage Bermuda "百慕大") domainEnglishFormat.kif 10817-10817
(termFormat ChineseTraditionalLanguage Bermuda "百慕大") domainEnglishFormat.kif 10816-10816
(termFormat EnglishLanguage Bermuda "bermuda") domainEnglishFormat.kif 10815-10815

appearance as argument number 3

(codeMapping ISO-3166-1-alpha-2 "BM" Bermuda) Media.kif 2845-2845 "BM" in ISO-3166-1-alpha-2 denotes bermuda

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