| 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 19555-19558 | |
| (subclass FormOfGovernment PoliticoEconomicAttribute) | Mid-level-ontology.kif 19554-19554 | FormOfGovernment è una sottoclasse di PoliticoEconomicAttribute |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain governmentType 2 FormOfGovernment) | Government.kif 129-129 | Il numero 2 argomenti di governmentType è un istanza di FormOfGovernment |
| (domain ideologicalAffiliationOfOrganization 2 FormOfGovernment) | Mid-level-ontology.kif 24147-24147 | Il numero 2 argomenti di ideologicalAffiliationOfOrganization è un istanza di FormOfGovernment |
| antecedent |
|
|
| (=> (and (attribute (GovernmentFn ?AREA) ?TYPE) (instance ?TYPE FormOfGovernment)) (governmentType ?AREA ?TYPE)) |
Government.kif 148-152 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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