No TPTP formula. May not be expressible in strict first order.	Economy.kif 641-641	economyType Dominica and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 642-642	economyType DominicanRepublic and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 643-643	economyType Ecuador and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 644-644	economyType Egypt and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 645-645	economyType ElSalvador and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 646-646	economyType EquatorialGuinea and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 647-647	economyType Ethiopia and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 648-648	economyType Fiji and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 649-649	economyType Gabon and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 650-650	economyType Gambia and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 651-651	economyType Ghana and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 652-652	economyType Grenada and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 653-653	economyType Guatemala and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 654-654	economyType Guinea and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 655-655	economyType GuineaBissau and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 656-656	economyType Guyana and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 657-657	economyType Haiti and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 658-658	economyType Honduras and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 659-659	economyType India and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 660-660	economyType Indonesia and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 661-661	economyType Iran and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 662-662	economyType Iraq and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 663-663	economyType Jamaica and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 664-664	economyType Jordan and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 665-665	economyType Kenya 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