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 est une instance de FormOfGovernment
(subAttribute TheocraticGovernment AuthoritarianRegime) Government.kif 330-330 TheocraticGovernment est un sous-attribut de AuthoritarianRegime

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


(subAttribute EcclesiasticalGovernment TheocraticGovernment) Government.kif 342-342 EcclesiasticalGovernment est un sous-attribut de TheocraticGovernment
(subAttribute IslamicGovernment TheocraticGovernment) Government.kif 343-343 IslamicGovernment est un sous-attribut de TheocraticGovernment
(subAttribute TheocraticRepublic TheocraticGovernment) Government.kif 341-341 TheocraticRepublic est un sous-attribut de TheocraticGovernment
(termFormat ChineseLanguage TheocraticGovernment "神权政府") domainEnglishFormat.kif 57842-57842
(termFormat ChineseTraditionalLanguage TheocraticGovernment "神權政府") domainEnglishFormat.kif 57841-57841
(termFormat EnglishLanguage TheocraticGovernment "theocratic government") domainEnglishFormat.kif 57840-57840

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