No TPTP formula. May not be expressible in strict first order. |
Economy.kif 615-615 |
發展中國家 是 阿富汗 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 616-616 |
發展中國家 是 阿爾及利亞 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 617-617 |
發展中國家 是 安哥拉 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 618-618 |
發展中國家 是 安提瓜和巴布達 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 619-619 |
發展中國家 是 阿根廷 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 620-620 |
發展中國家 是 阿魯巴 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 622-622 |
發展中國家 是 巴林 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 623-623 |
發展中國家 是 孟加拉國 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 624-624 |
發展中國家 是 巴巴多斯 的 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 626-626 |
發展中國家 是 布隆迪 的 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 628-628 |
發展中國家 是 喀麥隆 的 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 630-630 |
發展中國家 是 中非共和國 的 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 632-632 |
發展中國家 是 智利 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 633-633 |
發展中國家 是 中國 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 634-634 |
發展中國家 是 哥倫比亞 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 635-635 |
發展中國家 是 科摩羅 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 637-637 |
發展中國家 是 哥斯達黎加 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 638-638 |
發展中國家 是 科特迪瓦科特迪瓦 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 639-639 |
發展中國家 是 塞浦路斯 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 636-636 |
發展中國家 是 剛果民主共和國 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 640-640 |
發展中國家 是 吉布提 的 economy 類別 |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |