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 | 蒙古图格里克 是 UnitOfCurrency 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3337-3337 | 蒙古图格里克 是 蒙古 的 currency 类别 |
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 | "MNT" 在 ISO-4217-A denotes 蒙古图格里克 |