No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3413-3413 |
欧元 是 葡萄牙 的 currency 类别 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1325-1325 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 555-555 |
发达经济 是 葡萄牙 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 172-172 |
发达国家 是 葡萄牙 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 675-675 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 393-393 |
葡萄牙 是 西南欧 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 394-394 |
葡萄牙 是 欧洲国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3214-3214 |
葡萄牙 是 欧洲货币联盟 的 member |