No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 529-529 |
Kazakhstan is a geographic subregion of central asia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 531-531 |
Kyrgyzstan is a geographic subregion of central asia |
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 535-535 |
Turkmenistan is a geographic subregion of central asia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 537-537 |
Uzbekistan is a geographic subregion of central asia |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 131-131 |
Central asia has name "Central Asia" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13824-13824 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13823-13823 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13822-13822 |
|