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 |