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

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners