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 |