more pictures...
| SwissFranc(swiss franc)
more pictures... | | Swiss_franc |
| 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 | Swiss franc 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 3499-3499 | Swiss franc is a currency type of switzerland |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56539-56539 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56538-56538 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56537-56537 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2354-2354 | "CHF" in ISO-4217-A denotes swiss franc |
|
|
|