Tajikistan
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2905-2905 | currencyType Tajikistan and TajikSomoni |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3511-3511 | currencyType Tajikistan and TajikistaniRuble |
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 | economyType Tajikistan and CountryInTransition |
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 | geographicSubregion Tajikistan and CentralAsia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 534-534 | Tajikistan est une instance de nation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2771-2771 | geographicSubregion DarvazTajikistan and Tajikistan |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2809-2809 | geographicSubregion DushanbeAirportTajikistan and Tajikistan |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2811-2811 | geographicSubregion DushanbeGarmTajikistan and Tajikistan |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2806-2806 | geographicSubregion DushanbeTajikistan and Tajikistan |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3091-3091 | geographicSubregion KomsomoLabadTajikistan and Tajikistan |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4144-4144 | Tajikistan s'appele nom "Tajikistan" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56829-56829 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56828-56828 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56827-56827 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2821-2821 | codeMapping ISO-3166-1-alpha-2, "TJ" and Tajikistan |