TreeView Knowledge Base Browser - Democracy

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Democracy

Democracy(民主)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 298-301
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5955-5955
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6364-6364
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6365-6365
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6366-6366
No TPTP formula. May not be expressible in strict first order.	Government.kif 175-175	民主是政体的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 308-308	宪法民主共和国是民主的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Government.kif 307-307	宪法议会民主是民主的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Government.kif 310-310	新兴民主是民主的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Government.kif 303-303	联邦民主共和国是民主的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Government.kif 306-306	联邦议会民主是民主的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Government.kif 309-309	多党民主是民主的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Government.kif 304-304	议会民主制是民主的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Government.kif 305-305	议会民主共和国是民主的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18984-18984
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18983-18983
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18982-18982

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 917-921	如果地缘政治区域是地缘政治区域的 instance 和 %2 是 1% 的 government 类别，然后选民公民身份要求是那个地缘政治区域的 regional 法律的 subProposition
No TPTP formula. May not be expressible in strict first order.	Government.kif 906-913	如果地缘政治区域是国家的 instance 和 %2 是 1% 的 government 类别，然后有存在命题这样那个命题是选举法的 instance 和那个命题是那个地缘政治区域的 regional 法律的 subProposition

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1588-1595	如果地位地缘政治区域的州类别的 chief 和那个地缘政治区域是选举的 agent 和那个选举是选举的 instance 和那个地位是职位那个选举的 election 和那个选举是民众选举的 instance，然后 %2 是 1% 的 government 类别
No TPTP formula. May not be expressible in strict first order.	Economy.kif 824-826	如果民主社会主义是施事体的 attribute，然后 %2 是 1% 的 government 类别

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