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 3614-3614
(documentation Switzerland EnglishLanguage "A small politically neutral Nation in central Europe.") CountriesAndRegions.kif 1358-1359
(economyType Switzerland AdvancedEconomy) Economy.kif 559-559
(economyType Switzerland DevelopedCountry) Economy.kif 177-177
(externalImage Switzerland "http://articulatesoftware.com/SUMOpictures/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 56610-56610
(termFormat ChineseTraditionalLanguage Switzerland "瑞士") domainEnglishFormat.kif 56609-56609
(termFormat EnglishLanguage Switzerland "switzerland") domainEnglishFormat.kif 56608-56608

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


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


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