Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Monarchy

Sigma KEE - Monarchy
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 相反的屬性 帝制 and 聯邦
(contraryAttribute Monarchy Republic) Government.kif 248-248 相反的屬性 帝制 and 共和國
(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 帝制 and 政體

appearance as argument number 2
-------------------------


(subAttribute AbsoluteMonarchy Monarchy) Government.kif 240-240 子屬性 絕對君主制 and 帝制
(subAttribute Chiefdom Monarchy) Government.kif 238-238 子屬性 酋邦 and 帝制
(subAttribute ConstitutionalMonarchy Monarchy) Government.kif 239-239 子屬性 君主立憲制 and 帝制
(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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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