No TPTP formula. May not be expressible in strict first order.	Economy.kif 255-255	economyType Cyprus and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 252-252	economyType DemocraticRepublicOfTheCongo and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 256-256	economyType Djibouti and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 257-257	economyType Dominica and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 258-258	economyType DominicanRepublic and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 259-259	economyType Ecuador and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 260-260	economyType Egypt and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 261-261	economyType ElSalvador and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 262-262	economyType EquatorialGuinea and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 263-263	economyType Ethiopia and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 264-264	economyType Fiji and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 265-265	economyType Gabon and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 266-266	economyType Gambia and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 267-267	economyType Ghana and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 268-268	economyType Grenada and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 269-269	economyType Guatemala and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 270-270	economyType Guinea and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 271-271	economyType GuineaBissau and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 272-272	economyType Guyana and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 273-273	economyType Haiti and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 274-274	economyType Honduras and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 275-275	economyType India and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 276-276	economyType Indonesia and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 277-277	economyType Iran and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 278-278	economyType Iraq and LessDevelopedCountry
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