FormOfGovernment(form of government)

-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 189-189 Islamic government is an instance of form of government
No TPTP formula. May not be expressible in strict first order. Government.kif 182-182 Military dictatorship is an instance of form of government
No TPTP formula. May not be expressible in strict first order. Government.kif 194-194 Monarchy is an instance of form of government
No TPTP formula. May not be expressible in strict first order. Government.kif 176-176 Multiparty democracy is an instance of form of government
No TPTP formula. May not be expressible in strict first order. Government.kif 164-164 Parliamentary democracy is an instance of form of government
No TPTP formula. May not be expressible in strict first order. Government.kif 165-165 Parliamentary democratic republic is an instance of form of government
No TPTP formula. May not be expressible in strict first order. Government.kif 162-162 Parliamentary government is an instance of form of government
No TPTP formula. May not be expressible in strict first order. Government.kif 163-163 Parliamentary republic is an instance of form of government
No TPTP formula. May not be expressible in strict first order. Government.kif 167-167 Presidential government is an instance of form of government
No TPTP formula. May not be expressible in strict first order. Government.kif 159-159 Republic is an instance of form of government
No TPTP formula. May not be expressible in strict first order. Government.kif 186-186 Theocratic government is an instance of form of government
No TPTP formula. May not be expressible in strict first order. Government.kif 187-187 Theocratic republic is an instance of form of government
No TPTP formula. May not be expressible in strict first order. Government.kif 177-177 Transitional government is an instance of form of government
No TPTP formula. May not be expressible in strict first order. Government.kif 1969-1969 Unicameral legislature is an instance of form of government
No TPTP formula. May not be expressible in strict first order. Government.kif 192-192 Unitary rule is an instance of form of government
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19537-19537 Politico economic attribute is exhaustively partitioned into form of government and economic attribute
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