No TPTP formula. May not be expressible in strict first order.	Economy.kif 666-666	economyType Kiribati and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 667-667	economyType Kuwait and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 668-668	economyType Laos and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 669-669	economyType Lebanon and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 670-670	economyType Lesotho and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 671-671	economyType Liberia and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 672-672	economyType Libya and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 673-673	economyType Madagascar and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 674-674	economyType Malawi and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 675-675	economyType Malaysia and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 676-676	economyType Maldives and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 677-677	economyType Mali and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 678-678	economyType Malta and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 679-679	economyType MarshallIslands and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 680-680	economyType Mauritania and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 681-681	economyType Mauritius and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 682-682	economyType Mexico and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 683-683	economyType Micronesia and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 684-684	economyType Morocco and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 685-685	economyType Mozambique and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 686-686	economyType Namibia and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 687-687	economyType Nepal and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 688-688	economyType NetherlandsAntilles and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 689-689	economyType Nicaragua and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 690-690	economyType Niger and DevelopingCountry
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