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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ShigaToxin

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 3499-3499 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 559-559 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 56577-56577
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56576-56576
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56575-56575

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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