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 231-231 |
較未發達國家 是 阿富汗 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 574-574 |
轉型國家 是 阿爾巴尼亞 的 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 232-232 |
較未發達國家 是 阿爾及利亞 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 146-146 |
發達國家 是 安道爾 的 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 233-233 |
較未發達國家 是 安哥拉 的 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 234-234 |
較未發達國家 是 安提瓜和巴布達 的 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 235-235 |
較未發達國家 是 阿根廷 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 575-575 |
轉型國家 是 亞美尼亞 的 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 236-236 |
較未發達國家 是 阿魯巴 的 economy 類別 |
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 147-147 |
發達國家 是 澳大利亞 的 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 148-148 |
發達國家 是 奧地利 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 576-576 |
轉型國家 是 阿塞拜疆 的 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 238-238 |
較未發達國家 是 巴林 的 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 239-239 |
較未發達國家 是 孟加拉國 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 624-624 |
發展中國家 是 巴巴多斯 的 economy 類別 |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |