LessDevelopedCountry(较未发达国家) |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 255-255 | 较未发达国家 是 塞浦路斯 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 252-252 | 较未发达国家 是 刚果民主共和国 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 256-256 | 较未发达国家 是 吉布提 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 257-257 | 较未发达国家 是 多米尼加 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 258-258 | 较未发达国家 是 多明尼加共和国 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 259-259 | 较未发达国家 是 厄瓜多尔 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 260-260 | 较未发达国家 是 埃及 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 261-261 | 较未发达国家 是 萨尔瓦多 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 262-262 | 较未发达国家 是 赤道几内亚 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 263-263 | 较未发达国家 是 埃塞俄比亚 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 264-264 | 较未发达国家 是 斐 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 265-265 | 较未发达国家 是 加蓬 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 266-266 | 较未发达国家 是 冈比亚 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 267-267 | 较未发达国家 是 加纳 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 268-268 | 较未发达国家 是 格林纳达 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 269-269 | 较未发达国家 是 危地马拉 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 270-270 | 较未发达国家 是 几内亚 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 271-271 | 较未发达国家 是 几内亚比绍 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 272-272 | 较未发达国家 是 圭亚那 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 273-273 | 较未发达国家 是 海地 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 274-274 | 较未发达国家 是 洪都拉斯 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 275-275 | 较未发达国家 是 印度 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 276-276 | 较未发达国家 是 印度尼西亚 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 277-277 | 较未发达国家 是 伊朗 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 278-278 | 较未发达国家 是 伊拉克 的 economy 类别 |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |