No TPTP formula. May not be expressible in strict first order.	Economy.kif 599-599	economyType Ukraine and CountryInTransition
No TPTP formula. May not be expressible in strict first order.	Economy.kif 600-600	economyType Uzbekistan and CountryInTransition
No TPTP formula. May not be expressible in strict first order.	Economy.kif 601-601	economyType Yugoslavia and CountryInTransition
No TPTP formula. May not be expressible in strict first order.	Economy.kif 516-516	DevelopingCountry e' um atributo sucessor immediato de CountryInTransition
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17580-17580
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17579-17579
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17578-17578

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