LessDevelopedCountry(less developed country) |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 279-279 | Less developed country is an economy type of jamaica |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 280-280 | Less developed country is an economy type of jordan |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 281-281 | Less developed country is an economy type of kenya |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 282-282 | Less developed country is an economy type of kiribati |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 283-283 | Less developed country is an economy type of kuwait |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 284-284 | Less developed country is an economy type of laos |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 285-285 | Less developed country is an economy type of lebanon |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 286-286 | Less developed country is an economy type of lesotho |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 287-287 | Less developed country is an economy type of liberia |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 288-288 | Less developed country is an economy type of libya |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 289-289 | Less developed country is an economy type of madagascar |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 290-290 | Less developed country is an economy type of malawi |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 291-291 | Less developed country is an economy type of malaysia |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 292-292 | Less developed country is an economy type of maldives |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 293-293 | Less developed country is an economy type of mali |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 294-294 | Less developed country is an economy type of malta |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 295-295 | Less developed country is an economy type of marshall islands |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 296-296 | Less developed country is an economy type of mauritania |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 297-297 | Less developed country is an economy type of mauritius |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 298-298 | Less developed country is an economy type of mexico |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 299-299 | Less developed country is an economy type of micronesia |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 300-300 | Less developed country is an economy type of morocco |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 301-301 | Less developed country is an economy type of mozambique |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 302-302 | Less developed country is an economy type of namibia |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 303-303 | Less developed country is an economy type of nepal |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |