Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  FederalGovernment
|
|
|
| appearance as argument number 1 |
|
|
| (instance FederalGovernment FormOfGovernment) | Government.kif 172-172 | Federal government is an instance of form of government |
| (documentation FederalGovernment EnglishLanguage "FederalGovernment is the attribute of a government that is formed by agreement between a collection of political units that agree to give up some of their power to the central government, while reserving some powers to themselves. The government of the UnitedStates is a federal government, in which power is shared between the states and the central goverment, as set out in the U.S. Constitution.") | Government.kif 271-277 | Federal government is an instance of form of government |
| (contraryAttribute FederalGovernment UnitaryRule) | Government.kif 284-284 | Federal government is the opposite of unitary rule |
| (contraryAttribute FederalGovernment AuthoritarianRegime) | Government.kif 285-285 | Federal government is the opposite of authoritarian regime |
| appearance as argument number 2 |
|
|
|