No TPTP formula. May not be expressible in strict first order.	Government.kif 189-189	IslamicGovernment est une instance de FormOfGovernment
No TPTP formula. May not be expressible in strict first order.	Government.kif 182-182	MilitaryDictatorship est une instance de FormOfGovernment
No TPTP formula. May not be expressible in strict first order.	Government.kif 194-194	Monarchy est une instance de FormOfGovernment
No TPTP formula. May not be expressible in strict first order.	Government.kif 176-176	MultipartyDemocracy est une instance de FormOfGovernment
No TPTP formula. May not be expressible in strict first order.	Government.kif 164-164	ParliamentaryDemocracy est une instance de FormOfGovernment
No TPTP formula. May not be expressible in strict first order.	Government.kif 165-165	ParliamentaryDemocraticRepublic est une instance de FormOfGovernment
No TPTP formula. May not be expressible in strict first order.	Government.kif 162-162	ParliamentaryGovernment est une instance de FormOfGovernment
No TPTP formula. May not be expressible in strict first order.	Government.kif 163-163	ParliamentaryRepublic est une instance de FormOfGovernment
No TPTP formula. May not be expressible in strict first order.	Government.kif 167-167	PresidentialGovernment est une instance de FormOfGovernment
No TPTP formula. May not be expressible in strict first order.	Government.kif 159-159	Republic est une instance de FormOfGovernment
No TPTP formula. May not be expressible in strict first order.	Government.kif 186-186	TheocraticGovernment est une instance de FormOfGovernment
No TPTP formula. May not be expressible in strict first order.	Government.kif 187-187	TheocraticRepublic est une instance de FormOfGovernment
No TPTP formula. May not be expressible in strict first order.	Government.kif 177-177	TransitionalGovernment est une instance de FormOfGovernment
No TPTP formula. May not be expressible in strict first order.	Government.kif 1969-1969	UnicameralLegislature est une instance de FormOfGovernment
No TPTP formula. May not be expressible in strict first order.	Government.kif 192-192	UnitaryRule est une instance de FormOfGovernment
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19536-19536	PoliticoEconomicAttribute est compl�tement d�compos� en 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