|
|
  MalaysianRinggit
|
|
|
| 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 | MalaysianRinggit est une instance de UnitOfCurrency |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3309-3309 | currencyType Malaysia and MalaysianRinggit |
| 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 | codeMapping ISO-4217-A, "MYR" and MalaysianRinggit |
|
|
|
