TurkmenManat
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4396-4396 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4399-4399 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4395-4395 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4398-4398 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4397-4397 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4046-4046 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3541-3541 | Turkmen manat 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 3543-3543 | Turkmen manat is a currency type of turkmenistan |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59596-59596 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59595-59595 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59594-59594 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2468-2468 | "TMM" in ISO-4217-A denotes turkmen manat |