|
|
  MongolianTugrik
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3952-3952 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3950-3950 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3953-3953 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3951-3951 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3742-3742 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3335-3335 | MongolianTugrik e' uma instancia de UnitOfCurrency |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3337-3337 | currencyType Mongolia and MongolianTugrik |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38387-38387 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38386-38386 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38385-38385 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2422-2422 | codeMapping ISO-4217-A, "MNT" and MongolianTugrik |
|
|
|
