more pictures...
| MongolianTugrik
more pictures... | |
| 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 est une instance 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 38385-38385 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38384-38384 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38383-38383 |
| 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 |
|
|
|