|
|
FormOfGovernment
|
|
|
| appearance as argument number 1 |
|
|
| (documentation FormOfGovernment EnglishLanguage "FormOfGovernment is a class of Attributes used to describe the characteristics of a government, especially a NationalGovernment. The concept FormOfGovernment is interpreted broadly enough to include Anarchy and Factionalism.") | Mid-level-ontology.kif 21115-21118 | |
| (subclass FormOfGovernment PoliticoEconomicAttribute) | Mid-level-ontology.kif 21114-21114 | Form of government is a subclass of politico economic attribute |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain governmentType 2 FormOfGovernment) | Government.kif 129-129 | The number 2 argument of government type is an instance of form of government |
| (domain ideologicalAffiliationOfOrganization 2 FormOfGovernment) | Mid-level-ontology.kif 25784-25784 | The number 2 argument of ideological affiliation of organization is an instance of form of government |
| antecedent |
|
|
| (=> (and (attribute (GovernmentFn ?AREA) ?TYPE) (instance ?TYPE FormOfGovernment)) (governmentType ?AREA ?TYPE)) |
Government.kif 148-152 |
|
|
|