|
|
  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 e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3209-3209 | Latvia e' membro 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 se chama nome "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 |
|
|
|
