LessDevelopedCountry(less developed country) |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 255-255 | Less developed country is an economy type of cyprus |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 252-252 | Less developed country is an economy type of democratic republic of the congo |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 256-256 | Less developed country is an economy type of djibouti |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 257-257 | Less developed country is an economy type of dominica |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 258-258 | Less developed country is an economy type of dominican republic |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 259-259 | Less developed country is an economy type of ecuador |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 260-260 | Less developed country is an economy type of egypt |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 261-261 | Less developed country is an economy type of el salvador |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 262-262 | Less developed country is an economy type of equatorial guinea |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 263-263 | Less developed country is an economy type of ethiopia |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 264-264 | Less developed country is an economy type of fiji |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 265-265 | Less developed country is an economy type of gabon |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 266-266 | Less developed country is an economy type of gambia |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 267-267 | Less developed country is an economy type of ghana |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 268-268 | Less developed country is an economy type of grenada |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 269-269 | Less developed country is an economy type of guatemala |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 270-270 | Less developed country is an economy type of guinea |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 271-271 | Less developed country is an economy type of guinea bissau |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 272-272 | Less developed country is an economy type of guyana |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 273-273 | Less developed country is an economy type of haiti |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 274-274 | Less developed country is an economy type of honduras |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 275-275 | Less developed country is an economy type of india |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 276-276 | Less developed country is an economy type of indonesia |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 277-277 | Less developed country is an economy type of iran |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 278-278 | Less developed country is an economy type of iraq |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |