VietnameseDong(越南盾) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4443-4443 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3573-3573 | 例 越南盾 and UnitOfCurrency |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3575-3575 | 越南盾 是 越南 的 currency 類別 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61660-61660 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61659-61659 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61658-61658 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2481-2481 | "VND" 在 ISO-4217-A denotes 越南盾 |