| Tajikistan(tajikistan)
| | Republic_of_Tajikistan, Tadjik, Tadzhik, Tadzhikistan, Tajik, Tajikistan |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2905-2905 | Tajik somoni is a currency type of tajikistan |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3511-3511 | Tajikistani ruble is a currency type of tajikistan |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1362-1362 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 597-597 | Country in transition is an economy type of tajikistan |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 770-770 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 533-533 | Tajikistan is a geographic subregion of central asia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 534-534 | Tajikistan is an instance of nation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2771-2771 | Darvaz tajikistan is a geographic subregion of tajikistan |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2809-2809 | Dushanbe airport tajikistan is a geographic subregion of tajikistan |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2811-2811 | Dushanbe garm tajikistan is a geographic subregion of tajikistan |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2806-2806 | Dushanbe tajikistan is a geographic subregion of tajikistan |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3091-3091 | Komsomo labad tajikistan is a geographic subregion of tajikistan |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4144-4144 | Tajikistan has name "Tajikistan" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56827-56827 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56826-56826 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56825-56825 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2821-2821 | "TJ" in ISO-3166-1-alpha-2 denotes tajikistan |
|
|
|