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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Bermuda

appearance as argument number 1

(currencyType Bermuda BermudaDollar) Economy.kif 3012-3012 currencyType Bermuda and BermudaDollar
(dependentGeopoliticalArea Bermuda UnitedKingdom) CountriesAndRegions.kif 3740-3740 dependentGeopoliticalArea Bermuda and UnitedKingdom
(documentation Bermuda EnglishLanguage "A dependency of the UnitedKingdom") CountriesAndRegions.kif 3741-3741
(economyType Bermuda DevelopedCountry) Economy.kif 150-150 economyType Bermuda and DevelopedCountry
(externalImage Bermuda " pictures/ geography/ Country_Maps/ B/ Bermuda.png") pictureList.kif 275-275
(geographicSubregion Bermuda NorthAmerica) CountriesAndRegions.kif 404-404 geographicSubregion Bermuda and NorthAmerica
(instance Bermuda DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3866-3866 instance Bermuda and DependencyOrSpecialSovereigntyArea
(instance Bermuda LandArea) CountriesAndRegions.kif 400-400 instance Bermuda and LandArea

appearance as argument number 2

(names "Bermuda" Bermuda) CountriesAndRegions.kif 4080-4080 names "Bermuda" and Bermuda
(termFormat ChineseLanguage Bermuda "百慕大") domainEnglishFormat.kif 10765-10765
(termFormat ChineseTraditionalLanguage Bermuda "百慕大") domainEnglishFormat.kif 10764-10764
(termFormat EnglishLanguage Bermuda "bermuda") domainEnglishFormat.kif 10763-10763

appearance as argument number 3

(codeMapping ISO-3166-1-alpha-2 "BM" Bermuda) Media.kif 2815-2815 codeMapping ISO-3166-1-alpha-2, "BM" and 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners