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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SwissFranc
SwissFranc
more pictures...

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 4354-4354
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4352-4352
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4356-4356
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4353-4353
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4034-4034
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4355-4355
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4351-4351
No TPTP formula. May not be expressible in strict first order. Economy.kif 3497-3497 SwissFranc est une instance de UnitOfCurrency

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3499-3499 currencyType Switzerland and SwissFranc
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56541-56541
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56540-56540
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56539-56539

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2354-2354 codeMapping ISO-4217-A, "CHF" and SwissFranc


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