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 例 民主 and 政體

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


No TPTP formula. May not be expressible in strict first order. Government.kif 308-308 子屬性 憲法民主共和國 and 民主
No TPTP formula. May not be expressible in strict first order. Government.kif 307-307 子屬性 憲法議會民主 and 民主
No TPTP formula. May not be expressible in strict first order. Government.kif 310-310 子屬性 新興民主 and 民主
No TPTP formula. May not be expressible in strict first order. Government.kif 303-303 子屬性 聯邦民主共和國 and 民主
No TPTP formula. May not be expressible in strict first order. Government.kif 306-306 子屬性 聯邦議會民主 and 民主
No TPTP formula. May not be expressible in strict first order. Government.kif 309-309 子屬性 多黨民主 and 民主
No TPTP formula. May not be expressible in strict first order. Government.kif 304-304 子屬性 議會民主制 and 民主
No TPTP formula. May not be expressible in strict first order. Government.kif 305-305 子屬性 議會民主共和國 and 民主
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