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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AgriTurkey
  AbsoluteMonarchy

Sigma KEE - AbsoluteMonarchy
AbsoluteMonarchy

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


(subAttribute AbsoluteMonarchy AuthoritarianRegime) Government.kif 327-327
(subAttribute AbsoluteMonarchy Monarchy) Government.kif 240-240

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


(termFormat ChineseLanguage AbsoluteMonarchy "绝对君主制") domainEnglishFormat.kif 5148-5148
(termFormat ChineseTraditionalLanguage AbsoluteMonarchy "絕對君主制") domainEnglishFormat.kif 5147-5147
(termFormat EnglishLanguage AbsoluteMonarchy "absolute monarchy") domainEnglishFormat.kif 5146-5146

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


(=>
    (and
        (governmentType ?PLACE AbsoluteMonarchy)
        (instance ?PLACE GeopoliticalArea))
    (leaderPosition ?PLACE Monarch))
Government.kif 242-246


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