more pictures...
| ColombianPeso(colombian peso)
more pictures... | | Colombian_peso, peso |
| 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 | Colombian peso 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 3077-3077 | Colombian peso is a currency type of colombia |
| 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 | "COP" in ISO-4217-A denotes colombian peso |
|
|
|