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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TheocraticGovernment

Sigma KEE - TheocraticGovernment
TheocraticGovernment

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


(documentation TheocraticGovernment EnglishLanguage "TheocraticGovernment is the attribute of a government that bases its authority on Religion.") Government.kif 338-339
(instance TheocraticGovernment FormOfGovernment) Government.kif 186-186 TheocraticGovernment ist ein fall von FormOfGovernment %n{nicht}
(subAttribute TheocraticGovernment AuthoritarianRegime) Government.kif 330-330 TheocraticGovernment ist ein teilattribut von AuthoritarianRegime

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


(subAttribute EcclesiasticalGovernment TheocraticGovernment) Government.kif 342-342 EcclesiasticalGovernment ist ein teilattribut von TheocraticGovernment
(subAttribute IslamicGovernment TheocraticGovernment) Government.kif 343-343 IslamicGovernment ist ein teilattribut von TheocraticGovernment
(subAttribute TheocraticRepublic TheocraticGovernment) Government.kif 341-341 TheocraticRepublic ist ein teilattribut von TheocraticGovernment
(termFormat ChineseLanguage TheocraticGovernment "神权政府") domainEnglishFormat.kif 57844-57844
(termFormat ChineseTraditionalLanguage TheocraticGovernment "神權政府") domainEnglishFormat.kif 57843-57843
(termFormat EnglishLanguage TheocraticGovernment "theocratic government") domainEnglishFormat.kif 57842-57842

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


(=>
    (and
        (governmentType ?AGENT ?TYPE)
        (subAttribute ?TYPE TheocraticGovernment)
        (instance ?AGENT GeopoliticalArea))
    (instance
        (GovernmentFn ?AGENT) ReligiousOrganization))
Government.kif 352-357
(=>
    (and
        (governmentType ?AGENT ?TYPE)
        (subAttribute ?TYPE TheocraticGovernment)
        (instance ?AGENT Organization))
    (instance ?AGENT ReligiousOrganization))
Government.kif 345-350


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