DevelopingCountry(發展中國家) |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 666-666 | 發展中國家 是 基里巴斯 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 667-667 | 發展中國家 是 科威特 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 668-668 | 發展中國家 是 寮 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 669-669 | 發展中國家 是 黎巴嫩 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 670-670 | 發展中國家 是 萊索托 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 671-671 | 發展中國家 是 利比里亞 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 672-672 | 發展中國家 是 利比亞 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 673-673 | 發展中國家 是 馬達加斯加 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 674-674 | 發展中國家 是 馬拉維 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 675-675 | 發展中國家 是 馬來西亞 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 676-676 | 發展中國家 是 馬爾代夫 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 677-677 | 發展中國家 是 馬里 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 678-678 | 發展中國家 是 馬耳他 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 679-679 | 發展中國家 是 馬紹爾群島 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 680-680 | 發展中國家 是 毛里塔尼亞 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 681-681 | 發展中國家 是 毛里求斯 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 682-682 | 發展中國家 是 墨西哥 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 683-683 | 發展中國家 是 密克羅尼西亞 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 684-684 | 發展中國家 是 摩洛哥 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 685-685 | 發展中國家 是 莫桑比克 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 686-686 | 發展中國家 是 納米比亞 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 687-687 | 發展中國家 是 尼泊爾 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 688-688 | 發展中國家 是 荷屬安的列斯 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 689-689 | 發展中國家 是 尼加拉瓜 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 690-690 | 發展中國家 是 尼日爾 的 economy 類別 |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |