| Turkmenistan(土庫曼斯坦)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3543-3543 | 土耳其人馬納特 是 土庫曼斯坦 的 currency 類別 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1371-1371 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 598-598 | 轉型國家 是 土庫曼斯坦 的 economy 類別 |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 804-804 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 535-535 | 土庫曼斯坦 是 中亞 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 536-536 | 例 土庫曼斯坦 and Nation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4145-4145 | 名 "Turkmenistan" and 土庫曼斯坦 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59582-59582 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59581-59581 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59580-59580 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2830-2830 | "TM" 在 ISO-3166-1-alpha-2 denotes 土庫曼斯坦 |
|
|
|