|
|
  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 | 例 蒙古圖格里克 and UnitOfCurrency |
| 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 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 | "MNT" 在 ISO-4217-A denotes 蒙古圖格里克 |
|
|
|
