![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FormOfGovernment(form of government) |
| appearance as argument number 1 |
|
|
| (subclass FormOfGovernment PoliticoEconomicAttribute) | Mid-level-ontology.kif 21454-21454 | Form of government is a subclass of politico economic attribute |
| (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 21455-21458 | Form of government is a subclass of politico economic attribute |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain ideologicalAffiliationOfOrganization 2 FormOfGovernment) | Mid-level-ontology.kif 26430-26430 | The number 2 argument of ideological affiliation of organization is an instance of form of government |
| (domain governmentType 2 FormOfGovernment) | Government.kif 129-129 | The number 2 argument of government type is an instance of form of government |
| antecedent |
|
|
| (=> (and (attribute (GovernmentFn ?AREA) ?TYPE) (instance ?TYPE FormOfGovernment)) (governmentType ?AREA ?TYPE)) |
Government.kif 148-152 | If X is an attribute of the government of Y and X is an instance of form of government, then X is a government type of Y |