BrazilianReal(brazilian real)![]() ![]() ![]() ![]() | ![]() | 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 |
![]() |
![]() |