MexicanPeso
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3327-3327 | 墨西哥比索 是 UnitOfCurrency 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3329-3329 | 墨西哥比索 是 墨西哥 的 currency 类别 |
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 | "MXN" 在 ISO-4217-A denotes 墨西哥比索 |