MexicanPeso
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3327-3327 | MexicanPeso est une instance de UnitOfCurrency |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3329-3329 | currencyType Mexico and MexicanPeso |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37391-37391 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37390-37390 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37389-37389 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2428-2428 | codeMapping ISO-4217-A, "MXN" and MexicanPeso |