No TPTP formula. May not be expressible in strict first order. |
Government.kif 3197-3197 |
货币联盟 是 欧洲货币联盟 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3256-3256 |
货币联盟 是 欧洲联盟 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3273-3273 |
货币联盟 是 法郎区 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38349-38349 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38348-38348 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38347-38347 |
|