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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SwedishKrona

 Sigma KEE - SwedishKrona
SwedishKrona(swedish krona)
Swedish_krona, krona

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 4348-4348
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4349-4349
No TPTP formula. May not be expressible in strict first order. Economy.kif 3493-3493 Swedish krona is an instance of unit of currency

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3495-3495 Swedish krona is a currency type of sweden
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56497-56497
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56496-56496
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56495-56495

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2309-2309 "SEK" in ISO-4217-A denotes swedish krona


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