|
|
  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 e' uma instancia de Nacao |
| 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 se chama nome "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 | codeMapping ISO-3166-1-alpha-2, "TJ" and Tajikistan |
|
|
|
