more pictures...
| ColombianPeso(哥倫比亞比索)
more pictures... | |
| 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 | 例 哥倫比亞比索 and UnitOfCurrency |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3077-3077 | 哥倫比亞比索 是 哥倫比亞 的 currency 類別 |
| 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" 在 ISO-4217-A denotes 哥倫比亞比索 |
|
|
|