No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3293-3293 |
欧元 是 卢森堡 的 currency 类别 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1283-1283 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 551-551 |
发达经济 是 卢森堡 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 165-165 |
发达国家 是 卢森堡 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 566-566 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 356-356 |
卢森堡 是 西欧 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 357-357 |
卢森堡 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2905-2905 |
卢森堡 是 比荷卢经济联盟 的 member |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3211-3211 |
卢森堡 是 欧洲货币联盟 的 member |