Monarchy - Sigma Knowledge base Browser

appearance as argument number 1

(instance Monarchy FormOfGovernment)	Government.kif 194-194	Monarchy is an instance of form of government
(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	Monarchy is an instance of form of government
(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	Monarchy is an instance of form of government
(contraryAttribute Monarchy Republic)	Government.kif 248-248	Monarchy is the opposite of republic
(contraryAttribute Monarchy Federation)	Government.kif 249-249	Monarchy is the opposite of federation

appearance as argument number 2

(subAttribute Chiefdom Monarchy)	Government.kif 238-238	Chiefdom is a subattribute of monarchy
(subAttribute ConstitutionalMonarchy Monarchy)	Government.kif 239-239	Constitutional monarchy is a subattribute of monarchy
(subAttribute AbsoluteMonarchy Monarchy)	Government.kif 240-240	Absolute monarchy is a subattribute of monarchy
(termFormat EnglishLanguage Monarchy "monarchy")	domainEnglishFormat.kif 38321-38321	Absolute monarchy is a subattribute of monarchy
(termFormat ChineseTraditionalLanguage Monarchy "帝制")	domainEnglishFormat.kif 38322-38322	Absolute monarchy is a subattribute of monarchy
(termFormat ChineseLanguage Monarchy "帝制")	domainEnglishFormat.kif 38323-38323	Absolute monarchy is a subattribute of monarchy

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))

If All of the following hold: (1) monarchy is a government type of X (2) Y is an instance of human (3) Z is an instance of human (4) X chief of state W for Y holds during V (5) Y and Z are related (6) V happens earlier than U, then the statement X chief of state W for Z holds during U has the modal force of possibility

consequent

(=>
    (attribute ?PERSON Monarch)
    (exists (?PLACE)
        (and
            (instance ?PLACE GeopoliticalArea)
            (governmentType ?PLACE Monarchy)
            (chiefOfState ?PLACE Monarch ?PERSON))))

If monarch is an attribute of X, then there exists Y such that Y is an instance of geopolitical area, monarchy is a government type of Y, and Y chief of state monarch for X