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


KB Term:  Term intersection
English Word: 

Sigma KEE - MilitaryDictatorship
MilitaryDictatorship(military dictatorship)

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


(instance MilitaryDictatorship FormOfGovernment) Government.kif 182-182 Military dictatorship is an instance of form of government
(subAttribute MilitaryDictatorship Dictatorship) Government.kif 326-326 Military dictatorship is a subattribute of dictatorship

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


(termFormat EnglishLanguage MilitaryDictatorship "military dictatorship") domainEnglishFormat.kif 37589-37589
(termFormat ChineseTraditionalLanguage MilitaryDictatorship "軍事獨裁統治") domainEnglishFormat.kif 37590-37590
(termFormat ChineseLanguage MilitaryDictatorship "军事独裁统治") domainEnglishFormat.kif 37591-37591

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


(=>
    (governmentType ?PLACE MilitaryDictatorship)
    (leaderPosition ?PLACE MilitaryCommander))		 Government.kif 332-334 If military dictatorship is a government type of X, then military commander 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