|
|
  ColombianPeso
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3830-3830 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3827-3827 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3678-3678 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3829-3829 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3828-3828 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3831-3831 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3826-3826 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3075-3075 | ColombianPeso est une instance de UnitOfCurrency |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3077-3077 | currencyType Colombia and ColombianPeso |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15654-15654 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15653-15653 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15652-15652 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2357-2357 | codeMapping ISO-4217-A, "COP" and ColombianPeso |
|
|
|
