Latvia
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3269-3269 | currencyType Latvia and EuroDollar |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1276-1276 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 587-587 | economyType Latvia and CountryInTransition |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 550-550 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 300-300 | geographicSubregion Latvia and EasternEurope |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 301-301 | Latvia est une instance de nation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3173-3173 | Latvia est un membre de EuropeanMonetaryUnion |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3431-3431 | geographicSubregion RigaLatvia and Latvia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4030-4030 | Latvia s'appele nom "Latvia" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33485-33485 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33484-33484 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33483-33483 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2746-2746 | codeMapping ISO-3166-1-alpha-2, "LV" and Latvia |