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

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