No TPTP formula. May not be expressible in strict first order. |
Government.kif 2797-2797 |
经济一体化 是 安第斯国际社会 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2819-2819 |
经济一体化 是 阿拉伯合作理事会 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2843-2843 |
经济一体化 是 阿拉伯马格里布联盟 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2902-2902 |
经济一体化 是 比荷卢经济联盟 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2929-2929 |
经济一体化 是 加勒比共同体和共同市场 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2951-2951 |
经济一体化 是 中美洲经济一体化银行 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2958-2958 |
经济一体化 是 中美洲共同市场 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3020-3020 |
经济一体化 是 阿拉伯经济统一委员会 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3135-3135 |
经济一体化 是 大湖国家的经济共同体 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3177-3177 |
经济一体化 是 欧洲共同体 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3255-3255 |
经济一体化 是 欧洲联盟 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3643-3643 |
经济一体化 是 拉丁美洲一体化协会 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3651-3651 |
经济一体化 是 中非货币和经济共同体 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3858-3858 |
经济一体化 是 南部非洲发展社区 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4300-4300 |
经济一体化 是 西非开发银行 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4308-4308 |
经济一体化 是 西非经济和货币联盟 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21168-21168 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21167-21167 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21166-21166 |
|