LessDevelopedCountry(less developed country) |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 304-304 | Less developed country is an economy type of netherlands antilles |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 305-305 | Less developed country is an economy type of nicaragua |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 306-306 | Less developed country is an economy type of niger |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 307-307 | Less developed country is an economy type of nigeria |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 308-308 | Less developed country is an economy type of oman |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 309-309 | Less developed country is an economy type of pakistan |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 310-310 | Less developed country is an economy type of panama |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 311-311 | Less developed country is an economy type of papua new guinea |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 312-312 | Less developed country is an economy type of paraguay |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 313-313 | Less developed country is an economy type of peru |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 314-314 | Less developed country is an economy type of philippines |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 315-315 | Less developed country is an economy type of qatar |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 316-316 | Less developed country is an economy type of rwanda |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 317-317 | Less developed country is an economy type of saint kitts and nevis |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 318-318 | Less developed country is an economy type of saint lucia |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 319-319 | Less developed country is an economy type of saint vincent and the grenadines |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 320-320 | Less developed country is an economy type of samoa |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 321-321 | Less developed country is an economy type of sao tome and principe |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 322-322 | Less developed country is an economy type of saudi arabia |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 323-323 | Less developed country is an economy type of senegal |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 324-324 | Less developed country is an economy type of seychelles |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 325-325 | Less developed country is an economy type of sierra leone |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 326-326 | Less developed country is an economy type of solomon islands |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 327-327 | Less developed country is an economy type of somalia |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 328-328 | Less developed country is an economy type of south africa |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |