No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 567-567 |
Afghanistan is a geographic subregion of southern asia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 569-569 |
Bangladesh is a geographic subregion of southern asia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 571-571 |
Bhutan is a geographic subregion of southern asia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 573-573 |
British indian ocean territory is a geographic subregion of southern asia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 574-574 |
India is a geographic subregion of southern asia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 576-576 |
Maldives is a geographic subregion of southern asia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 578-578 |
Nepal is a geographic subregion of southern asia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 580-580 |
Pakistan is a geographic subregion of southern asia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 582-582 |
Sri lanka is a geographic subregion of southern asia |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 134-134 |
Southern asia has name "Southern Asia" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54174-54174 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54173-54173 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54172-54172 |
|