| 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 |
