|
|
  BrazilianReal
|
|
|
| appearance as argument number 1 |
|
|
| 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 3814-3814 | |
| 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 3811-3811 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3664-3664 | |
| 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 3809-3809 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3023-3023 | 例 巴西真實 and UnitOfCurrency |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3025-3025 | 巴西真實 是 巴西 的 currency 類別 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11855-11855 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11854-11854 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11853-11853 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2348-2348 | "BRL" 在 ISO-4217-A denotes 巴西真實 |
|
|
|
