| MauritanianOuguiya(mauritanian ouguiya)
| | ouguiya |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3948-3948 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3738-3738 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3319-3319 | Mauritanian ouguiya 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 3321-3321 | Mauritanian ouguiya is a currency type of mauritius |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36551-36551 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36550-36550 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36549-36549 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2424-2424 | "MRO" in ISO-4217-A denotes mauritanian ouguiya |
|
|
|