| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 535-535 |
发达经济 是 澳大利亚 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 536-536 |
发达经济 是 奥地利 的 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 538-538 |
发达经济 是 加拿大 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 539-539 |
发达经济 是 丹麦 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 540-540 |
发达经济 是 芬兰 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 541-541 |
发达经济 是 法国 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 542-542 |
发达经济 是 德国 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 543-543 |
发达经济 是 希腊 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 544-544 |
发达经济 是 香港 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 545-545 |
发达经济 是 冰岛 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 546-546 |
发达经济 是 爱尔兰 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 547-547 |
发达经济 是 以色列 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 548-548 |
发达经济 是 意大利 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 549-549 |
发达经济 是 日本 的 economy 类别 |
| 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 552-552 |
发达经济 是 荷兰 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 553-553 |
发达经济 是 新西兰 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 554-554 |
发达经济 是 挪威 的 economy 类别 |
| 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 556-556 |
发达经济 是 新加坡 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 550-550 |
发达经济 是 韩国 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 557-557 |
发达经济 是 西班牙 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 558-558 |
发达经济 是 瑞典 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 559-559 |
发达经济 是 瑞士 的 economy 类别 |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
AdvancedEconomy