No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 529-529 |
geographicSubregion Kazakhstan and CentralAsia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 531-531 |
geographicSubregion Kyrgyzstan and CentralAsia |
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 535-535 |
geographicSubregion Turkmenistan and CentralAsia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 537-537 |
geographicSubregion Uzbekistan and CentralAsia |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 131-131 |
CentralAsia s'appele nom "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 |
|