Monarchy |
appearance as argument number 1 |
(comment Monarchy "Note that there are few (mainly historical) exceptions where the rule was divided among more people or in cases of elective monarchies. For now these exceptions are not covered by the definition to avoid the usual but circular definition that Monarchy is ruled by a Monarch and Monarch is a ruler of a Monarchy.(06-14-2015)" "msvarny") | Government.kif 197-197 | |
(contraryAttribute Monarchy Federation) | Government.kif 249-249 | Monarchy e' &o oposto de Federation |
(contraryAttribute Monarchy Republic) | Government.kif 248-248 | Monarchy e' &o oposto de Republic |
(documentation Monarchy EnglishLanguage "Monarchy is the Attribute of a government that is ruled nominally or actually by one ruler, whose Position is hereditary.") | Government.kif 195-196 | |
(instance Monarchy FormOfGovernment) | Government.kif 194-194 | Monarchy e' uma instancia de FormOfGovernment |
appearance as argument number 2 |
(subAttribute AbsoluteMonarchy Monarchy) | Government.kif 240-240 | AbsoluteMonarchy e' um sub-atributo de Monarchy |
(subAttribute Chiefdom Monarchy) | Government.kif 238-238 | Chiefdom e' um sub-atributo de Monarchy |
(subAttribute ConstitutionalMonarchy Monarchy) | Government.kif 239-239 | ConstitutionalMonarchy e' um sub-atributo de Monarchy |
(termFormat ChineseLanguage Monarchy "帝制") | domainEnglishFormat.kif 38319-38319 | |
(termFormat ChineseTraditionalLanguage Monarchy "帝制") | domainEnglishFormat.kif 38318-38318 | |
(termFormat EnglishLanguage Monarchy "monarchy") | domainEnglishFormat.kif 38317-38317 |
antecedent |
(=> (and (governmentType ?PLACE Monarchy) (instance ?MONARCH Human) (instance ?SUCCESSOR Human) (holdsDuring ?T1 (chiefOfState ?PLACE ?ROLE ?MONARCH)) (familyRelation ?MONARCH ?SUCCESSOR) (earlier ?T1 ?T2)) (modalAttribute (holdsDuring ?T2 (chiefOfState ?PLACE ?ROLE ?SUCCESSOR)) Possibility)) |
Government.kif 223-234 |
|
consequent |
(=> (attribute ?PERSON Monarch) (exists (?PLACE) (and (instance ?PLACE GeopoliticalArea) (governmentType ?PLACE Monarchy) (chiefOfState ?PLACE Monarch ?PERSON)))) |
Government.kif 1363-1369 |
|