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 | 土库曼斯坦 是 国家 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4145-4145 | 土库曼斯坦 的名 是 "Turkmenistan" |
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 土库曼斯坦 |