more pictures...
| BrazilianReal(brazilian real)
more pictures... | | real |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3812-3812 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3813-3813 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3809-3809 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3810-3810 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3663-3663 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3811-3811 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3808-3808 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3360-3360 | Brazilian real 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 3362-3362 | Brazilian real is a currency type of brazil |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11864-11864 | Brazilian real is a currency type of brazil |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11863-11863 | Brazilian real is a currency type of brazil |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11862-11862 | Brazilian real is a currency type of brazil |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2350-2350 | "BRL" in ISO_4217_A denotes brazilian real |
|
|
|