Latvia(latvia) | Latvia, Republic_of_Latvia |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3269-3269 | Euro dollar is a currency type of latvia |
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 | Country in transition is an economy type of latvia |
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 | Latvia is a geographic subregion of eastern europe |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 301-301 | Latvia is an instance of nation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3209-3209 | Latvia is a member of european monetary union |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3431-3431 | Riga latvia is a geographic subregion of latvia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4030-4030 | Latvia has name "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 | "LV" in ISO-3166-1-alpha-2 denotes latvia |