Latvia(拉脱维亚) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3269-3269 | 欧元 是 拉脱维亚 的 currency 类别 |
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 | 转型国家 是 拉脱维亚 的 economy 类别 |
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 | 拉脱维亚 是 东欧洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 301-301 | 拉脱维亚 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3209-3209 | 拉脱维亚 是 欧洲货币联盟 的 member |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3431-3431 | 里加拉脱维亚 是 拉脱维亚 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4030-4030 | 拉脱维亚 的名 是 "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" 在 ISO-3166-1-alpha-2 denotes 拉脱维亚 |