![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3479-3479 | currencyType SriLanka and SriLankanRupee |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1353-1353 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 713-713 | economyType SriLanka and DevelopingCountry |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 329-329 | economyType SriLanka and LessDevelopedCountry |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 754-754 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 582-582 | geographicSubregion SriLanka and SouthernAsia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 583-583 | SriLanka est une instance de nation |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2742-2742 | geographicSubregion ColomboSriLanka and SriLanka |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2878-2878 | geographicSubregion GonegalleSriLanka and SriLanka |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2963-2963 | geographicSubregion JaffnaSriLanka and SriLanka |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3017-3017 | geographicSubregion KalmunaiSriLanka and SriLanka |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3021-3021 | geographicSubregion KandySriLanka and SriLanka |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3162-3162 | geographicSubregion MadhuSriLanka and SriLanka |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3272-3272 | geographicSubregion MutturSriLanka and SriLanka |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3289-3289 | geographicSubregion NallurAreaSriLanka and SriLanka |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3566-3566 | geographicSubregion TandySriLanka and SriLanka |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3612-3612 | geographicSubregion TrincomaleeHarborSriLanka and SriLanka |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3643-3643 | geographicSubregion VavuniyaSriLanka and SriLanka |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4168-4168 | SriLanka s'appele nom "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 |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2816-2816 | codeMapping ISO-3166-1-alpha-2, "LK" and SriLanka |
![]() |
![]() |