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 |
|