| Turkmenistan(turkmenistan)
| | Turkmen, Turkmenia, Turkmenistan, Turkomen |
| appearance as argument number 1 |
|
|
| 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. | CountriesAndRegions.kif 1371-1371 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 598-598 | Country in transition is an economy type of turkmenistan |
| 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 | Turkmenistan is a geographic subregion of central asia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 536-536 | Turkmenistan is an instance of nation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4145-4145 | Turkmenistan has name "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" in ISO-3166-1-alpha-2 denotes turkmenistan |
|
|
|