No TPTP formula. May not be expressible in strict first order.	Economy.kif 560-560	economyType Taiwan and AdvancedEconomy
No TPTP formula. May not be expressible in strict first order.	Economy.kif 561-561	economyType UnitedKingdom and AdvancedEconomy
No TPTP formula. May not be expressible in strict first order.	Economy.kif 562-562	economyType UnitedStates and AdvancedEconomy
No TPTP formula. May not be expressible in strict first order.	Economy.kif 517-517	CountryInTransition e' um atributo sucessor immediato de AdvancedEconomy
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5592-5592
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5591-5591
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5590-5590

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