Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - AbsoluteMonarchy
AbsoluteMonarchy(absolute monarchy)

appearance as argument number 1
-------------------------


(subAttribute AbsoluteMonarchy Monarchy) Government.kif 240-240 Absolute monarchy is a subattribute of monarchy
(subAttribute AbsoluteMonarchy AuthoritarianRegime) Government.kif 327-327 Absolute monarchy is a subattribute of authoritarian regime

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


(termFormat EnglishLanguage AbsoluteMonarchy "absolute monarchy") domainEnglishFormat.kif 5155-5155
(termFormat ChineseTraditionalLanguage AbsoluteMonarchy "絕對君主制") domainEnglishFormat.kif 5156-5156
(termFormat ChineseLanguage AbsoluteMonarchy "绝对君主制") domainEnglishFormat.kif 5157-5157

antecedent
-------------------------


(=>
    (and
        (governmentType ?PLACE AbsoluteMonarchy)
        (instance ?PLACE GeopoliticalArea))
    (leaderPosition ?PLACE Monarch))		 Government.kif 242-246 If absolute monarchy is a government type of X and X is an instance of geopolitical area, then monarch is a leader position of X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners