Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  FormOfGovernment

Sigma KEE - FormOfGovernment
FormOfGovernment(form of government)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19555-19558
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19554-19554 Form of government is a subclass of politico economic attribute

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 180-180 Anarchy is an instance of form of government
No TPTP formula. May not be expressible in strict first order. Government.kif 181-181 Authoritarian regime is an instance of form of government
No TPTP formula. May not be expressible in strict first order. Government.kif 185-185 Authoritarian socialist is an instance of form of government
No TPTP formula. May not be expressible in strict first order. Government.kif 1952-1952 Bicameral legislature is an instance of form of government
No TPTP formula. May not be expressible in strict first order. Government.kif 156-156 Chiefdom is an instance of form of government
No TPTP formula. May not be expressible in strict first order. Government.kif 174-174 Commonwealth is an instance of form of government
No TPTP formula. May not be expressible in strict first order. Government.kif 184-184 Communist state is an instance of form of government
No TPTP formula. May not be expressible in strict first order. Government.kif 191-191 Compact of free association with new zealand is an instance of form of government
No TPTP formula. May not be expressible in strict first order. Government.kif 190-190 Compact of free association with united states is an instance of form of government
No TPTP formula. May not be expressible in strict first order. Government.kif 171-171 Constitutional democratic republic is an instance of form of government
No TPTP formula. May not be expressible in strict first order. Government.kif 168-168 Constitutional government is an instance of form of government
No TPTP formula. May not be expressible in strict first order. Government.kif 157-157 Constitutional monarchy is an instance of form of government
No TPTP formula. May not be expressible in strict first order. Government.kif 170-170 Constitutional parliamentary democracy is an instance of form of government
No TPTP formula. May not be expressible in strict first order. Government.kif 169-169 Constitutional republic is an instance of form of government
No TPTP formula. May not be expressible in strict first order. Government.kif 158-158 Coprincipality is an instance of form of government
No TPTP formula. May not be expressible in strict first order. Government.kif 175-175 Democracy is an instance of form of government
No TPTP formula. May not be expressible in strict first order. Government.kif 183-183 Dictatorship is an instance of form of government
No TPTP formula. May not be expressible in strict first order. Government.kif 188-188 Ecclesiastical government is an instance of form of government
No TPTP formula. May not be expressible in strict first order. Government.kif 178-178 Emerging democracy is an instance of form of government
No TPTP formula. May not be expressible in strict first order. Government.kif 179-179 Factionalism is an instance of form of government
No TPTP formula. May not be expressible in strict first order. Government.kif 161-161 Federal democratic republic is an instance of form of government
No TPTP formula. May not be expressible in strict first order. Government.kif 172-172 Federal government is an instance of form of government
No TPTP formula. May not be expressible in strict first order. Government.kif 166-166 Federal parliamentary democracy is an instance of form of government
No TPTP formula. May not be expressible in strict first order. Government.kif 160-160 Federal republic is an instance of form of government
No TPTP formula. May not be expressible in strict first order. Government.kif 173-173 Federation is an instance of form of government

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 129-129 The number 2 argument of government type is an instance of form of government
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24147-24147 The number 2 argument of ideological affiliation of organization is an instance of form of government

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 148-152


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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