No TPTP formula. May not be expressible in strict first order.	Government.kif 189-189	IslamicGovernment e' uma instancia de FormOfGovernment
No TPTP formula. May not be expressible in strict first order.	Government.kif 182-182	MilitaryDictatorship e' uma instancia de FormOfGovernment
No TPTP formula. May not be expressible in strict first order.	Government.kif 194-194	Monarchy e' uma instancia de FormOfGovernment
No TPTP formula. May not be expressible in strict first order.	Government.kif 176-176	MultipartyDemocracy e' uma instancia de FormOfGovernment
No TPTP formula. May not be expressible in strict first order.	Government.kif 164-164	ParliamentaryDemocracy e' uma instancia de FormOfGovernment
No TPTP formula. May not be expressible in strict first order.	Government.kif 165-165	ParliamentaryDemocraticRepublic e' uma instancia de FormOfGovernment
No TPTP formula. May not be expressible in strict first order.	Government.kif 162-162	ParliamentaryGovernment e' uma instancia de FormOfGovernment
No TPTP formula. May not be expressible in strict first order.	Government.kif 163-163	ParliamentaryRepublic e' uma instancia de FormOfGovernment
No TPTP formula. May not be expressible in strict first order.	Government.kif 167-167	PresidentialGovernment e' uma instancia de FormOfGovernment
No TPTP formula. May not be expressible in strict first order.	Government.kif 159-159	Republic e' uma instancia de FormOfGovernment
No TPTP formula. May not be expressible in strict first order.	Government.kif 186-186	TheocraticGovernment e' uma instancia de FormOfGovernment
No TPTP formula. May not be expressible in strict first order.	Government.kif 187-187	TheocraticRepublic e' uma instancia de FormOfGovernment
No TPTP formula. May not be expressible in strict first order.	Government.kif 177-177	TransitionalGovernment e' uma instancia de FormOfGovernment
No TPTP formula. May not be expressible in strict first order.	Government.kif 1969-1969	UnicameralLegislature e' uma instancia de FormOfGovernment
No TPTP formula. May not be expressible in strict first order.	Government.kif 192-192	UnitaryRule e' uma instancia de FormOfGovernment
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19537-19537	O conceito PoliticoEconomicAttribute e' completamente decomposto em FormOfGovernment + EconomicAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24770-24770
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24769-24769
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24768-24768

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