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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Democracy
Democracy(democracy)
commonwealth, democracy, democratic, republic

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 Democracy is an instance of form of government

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


No TPTP formula. May not be expressible in strict first order. Government.kif 308-308 Constitutional democratic republic is a subattribute of democracy
No TPTP formula. May not be expressible in strict first order. Government.kif 307-307 Constitutional parliamentary democracy is a subattribute of democracy
No TPTP formula. May not be expressible in strict first order. Government.kif 310-310 Emerging democracy is a subattribute of democracy
No TPTP formula. May not be expressible in strict first order. Government.kif 303-303 Federal democratic republic is a subattribute of democracy
No TPTP formula. May not be expressible in strict first order. Government.kif 306-306 Federal parliamentary democracy is a subattribute of democracy
No TPTP formula. May not be expressible in strict first order. Government.kif 309-309 Multiparty democracy is a subattribute of democracy
No TPTP formula. May not be expressible in strict first order. Government.kif 304-304 Parliamentary democracy is a subattribute of democracy
No TPTP formula. May not be expressible in strict first order. Government.kif 305-305 Parliamentary democratic republic is a subattribute of democracy
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
No TPTP formula. May not be expressible in strict first order. Government.kif 906-913

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 1588-1595
No TPTP formula. May not be expressible in strict first order. Economy.kif 824-826


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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