TreeView Knowledge Base Browser - TheocraticGovernment

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

TheocraticGovernment

Sigma KEE - TheocraticGovernment

TheocraticGovernment(theocratic government)

hierocracy, theocracy

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 338-339
No TPTP formula. May not be expressible in strict first order.	Government.kif 186-186	Theocratic government is an instance of form of government
No TPTP formula. May not be expressible in strict first order.	Government.kif 330-330	Theocratic government is a subattribute of authoritarian regime

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 342-342	Ecclesiastical government is a subattribute of theocratic government
No TPTP formula. May not be expressible in strict first order.	Government.kif 343-343	Islamic government is a subattribute of theocratic government
No TPTP formula. May not be expressible in strict first order.	Government.kif 341-341	Theocratic republic is a subattribute of theocratic government
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57842-57842
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57841-57841
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57840-57840

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 352-357	If a form of government is a government type of a geopolitical area and the form of government is a subattribute of theocratic government and the geopolitical area is an instance of geopolitical area, then the government of the geopolitical area is an instance of religious organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 345-350	If a form of government is a government type of an agent and the form of government is a subattribute of theocratic government and the agent is an instance of organization, then the agent is an instance of religious organization

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