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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Switzerland
Switzerland

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


(currencyType Switzerland SwissFranc) Economy.kif 3502-3502
(documentation Switzerland EnglishLanguage "A small politically neutral Nation in central Europe.") CountriesAndRegions.kif 1358-1359
(economyType Switzerland AdvancedEconomy) Economy.kif 554-554
(economyType Switzerland DevelopedCountry) Economy.kif 177-177
(externalImage Switzerland "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ geography/ Country_Maps/ S/ Switzerland.png") pictureList.kif 766-766
(geographicSubregion Switzerland CentralEurope) CountriesAndRegions.kif 291-291
(instance Switzerland EuropeanNation) CountriesAndRegions.kif 292-292

appearance as argument number 2
-------------------------


(capitalCity BernSwitzerland Switzerland) CountriesAndRegions.kif 721-721
(geographicSubregion GenevaSwitzerland Switzerland) CountriesAndRegions.kif 2863-2863
(names "Switzerland" Switzerland) CountriesAndRegions.kif 4026-4026
(termFormat ChineseLanguage Switzerland "瑞士") domainEnglishFormat.kif 56554-56554
(termFormat ChineseTraditionalLanguage Switzerland "瑞士") domainEnglishFormat.kif 56553-56553
(termFormat EnglishLanguage Switzerland "switzerland") domainEnglishFormat.kif 56552-56552

appearance as argument number 3
-------------------------


(codeMapping ISO-3166-1-alpha-2 "CH" Switzerland) Media.kif 2789-2789


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