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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Switzerland
Switzerland(switzerland)
Schweiz, Suisse, Svizzera, Swiss_Confederation, Switzerland

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3509-3509 Swiss franc is a currency type of switzerland
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1358-1359
No TPTP formula. May not be expressible in strict first order. Economy.kif 554-554 Advanced economy is an economy type of switzerland
No TPTP formula. May not be expressible in strict first order. Economy.kif 177-177 Developed country is an economy type of switzerland
No TPTP formula. May not be expressible in strict first order. pictureList.kif 766-766
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 291-291 Switzerland is a geographic subregion of central europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 292-292 Switzerland is an instance of european nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 721-721 Switzerland is a capital city of bern switzerland
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2863-2863 Geneva switzerland is a geographic subregion of switzerland
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4026-4026 Switzerland has name "Switzerland"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56554-56554
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56553-56553
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56552-56552

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2807-2807 "CH" in ISO-3166-1-alpha-2 denotes switzerland


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