| MalaysianRinggit(malaysian ringgit)
| | ringgit |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3736-3736 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3946-3946 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3944-3944 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3945-3945 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3307-3307 | Malaysian ringgit 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 3309-3309 | Malaysian ringgit is a currency type of malaysia |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35813-35813 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35812-35812 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35811-35811 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2429-2429 | "MYR" in ISO-4217-A denotes malaysian ringgit |
|
|
|