No TPTP formula. May not be expressible in strict first order.	Economy.kif 560-560	Advanced economy is an economy type of taiwan
No TPTP formula. May not be expressible in strict first order.	Economy.kif 561-561	Advanced economy is an economy type of united kingdom
No TPTP formula. May not be expressible in strict first order.	Economy.kif 562-562	Advanced economy is an economy type of united states
No TPTP formula. May not be expressible in strict first order.	Economy.kif 517-517	Country in transition is an immediate successor attribute of advanced economy
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