| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 227-227 |
較未發達國家 是 "LDC" 的簡稱 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 207-207 |
較未發達國家 是 "Less Developed Country" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 226-226 |
較未發達國家 是 "the South" 的 conventional 簡稱 |
| 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 232-232 |
較未發達國家 是 阿爾及利亞 的 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 234-234 |
較未發達國家 是 安提瓜和巴布達 的 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 236-236 |
較未發達國家 是 阿魯巴 的 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 239-239 |
較未發達國家 是 孟加拉國 的 economy 類別 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 240-240 |
較未發達國家 是 巴巴多斯 的 economy 類別 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 241-241 |
較未發達國家 是 伯利茲 的 economy 類別 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 242-242 |
較未發達國家 是 布隆迪 的 economy 類別 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 243-243 |
較未發達國家 是 柬埔寨 的 economy 類別 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 244-244 |
較未發達國家 是 喀麥隆 的 economy 類別 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 245-245 |
較未發達國家 是 佛得角 的 economy 類別 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 246-246 |
較未發達國家 是 中非共和國 的 economy 類別 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 247-247 |
較未發達國家 是 chad 的 economy 類別 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 248-248 |
較未發達國家 是 智利 的 economy 類別 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 249-249 |
較未發達國家 是 中國 的 economy 類別 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 250-250 |
較未發達國家 是 哥倫比亞 的 economy 類別 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 251-251 |
較未發達國家 是 科摩羅 的 economy 類別 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 253-253 |
較未發達國家 是 哥斯達黎加 的 economy 類別 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 254-254 |
較未發達國家 是 科特迪瓦科特迪瓦 的 economy 類別 |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
