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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Bermuda
Bermuda(bermuda)
Bermuda, Bermudas

appearance as argument number 1
-------------------------


(currencyType Bermuda BermudaDollar) Economy.kif 3219-3219 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 Bermuda is a dependent of united kingdom
(economyType Bermuda DevelopedCountry) Economy.kif 150-150 Developed country is an economy type of bermuda
(externalImage Bermuda "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ B/ Bermuda.png") pictureList.kif 275-275 Developed country is an economy type of bermuda
(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 10830-10830 Bermuda has name "Bermuda"
(termFormat ChineseTraditionalLanguage Bermuda "百慕大") domainEnglishFormat.kif 10829-10829 Bermuda has name "Bermuda"
(termFormat EnglishLanguage Bermuda "bermuda") domainEnglishFormat.kif 10828-10828 Bermuda has name "Bermuda"

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