No TPTP formula. May not be expressible in strict first order. |
Economy.kif 240-240 |
较未发达国家 是 巴巴多斯 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 577-577 |
转型国家 是 白俄罗斯 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 537-537 |
发达经济 是 比利时 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 149-149 |
发达国家 是 比利时 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 625-625 |
发展中国家 是 伯利兹 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 241-241 |
较未发达国家 是 伯利兹 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 150-150 |
发达国家 是 百慕大 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 578-578 |
转型国家 是 波斯尼亚和黑塞哥维那 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 579-579 |
转型国家 是 保加利亚 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 626-626 |
发展中国家 是 布隆迪 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 242-242 |
较未发达国家 是 布隆迪 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 627-627 |
发展中国家 是 柬埔寨 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 243-243 |
较未发达国家 是 柬埔寨 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 628-628 |
发展中国家 是 喀麦隆 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 244-244 |
较未发达国家 是 喀麦隆 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 538-538 |
发达经济 是 加拿大 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 151-151 |
发达国家 是 加拿大 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 629-629 |
发展中国家 是 佛得角 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 245-245 |
较未发达国家 是 佛得角 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 630-630 |
发展中国家 是 中非共和国 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 246-246 |
较未发达国家 是 中非共和国 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 631-631 |
发展中国家 是 chad 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 247-247 |
较未发达国家 是 chad 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 632-632 |
发展中国家 是 智利 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 248-248 |
较未发达国家 是 智利 的 economy 类别 |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |