No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2742-2742 |
Colombo sri lanka is a geographic subregion of sri lanka |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2878-2878 |
Gonegalle sri lanka is a geographic subregion of sri lanka |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2963-2963 |
Jaffna sri lanka is a geographic subregion of sri lanka |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3017-3017 |
Kalmunai sri lanka is a geographic subregion of sri lanka |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3021-3021 |
Kandy sri lanka is a geographic subregion of sri lanka |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3162-3162 |
Madhu sri lanka is a geographic subregion of sri lanka |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3272-3272 |
Muttur sri lanka is a geographic subregion of sri lanka |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3289-3289 |
Nallur area sri lanka is a geographic subregion of sri lanka |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3566-3566 |
Tandy sri lanka is a geographic subregion of sri lanka |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3612-3612 |
Trincomalee harbor sri lanka is a geographic subregion of sri lanka |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3643-3643 |
Vavuniya sri lanka is a geographic subregion of sri lanka |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4168-4168 |
Sri lanka has name "Sri Lanka" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54930-54930 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54929-54929 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54928-54928 |
|