No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3289-3289 |
欧元 是 立陶宛 的 currency 类别 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1282-1282 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 588-588 |
转型国家 是 立陶宛 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 561-561 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 302-302 |
立陶宛 是 东欧洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 303-303 |
立陶宛 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3174-3174 |
立陶宛 是 欧洲货币联盟 的 member |