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
-------------------------


(documentation Democracy EnglishLanguage "Democracy is the attribute of a government whose authority and rule are based in the will of the people governed. The will of the people is usually expressed through Elections, direct or indirect.") Government.kif 298-301
(externalImage Democracy "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4d/ Freedom_House_world_map_2007.png") pictureList.kif 5955-5955
(externalImage Democracy "http://upload.wikimedia.org/wikipedia/commons/ 8/ 83/ Democracyindex2.png") pictureList.kif 6364-6364
(externalImage Democracy "http://upload.wikimedia.org/wikipedia/commons/ 8/ 85/ Freedom_House_Country_Rankings_1972-2005.png") pictureList.kif 6365-6365
(externalImage Democracy "http://upload.wikimedia.org/wikipedia/en/1/1d/ Number_of_nations_1800-2003_scoring_8_or_higher_on_Polity_IV_scale.png") pictureList.kif 6366-6366
(instance Democracy FormOfGovernment) Government.kif 175-175

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


(subAttribute ConstitutionalDemocraticRepublic Democracy) Government.kif 308-308
(subAttribute ConstitutionalParliamentaryDemocracy Democracy) Government.kif 307-307
(subAttribute EmergingDemocracy Democracy) Government.kif 310-310
(subAttribute FederalDemocraticRepublic Democracy) Government.kif 303-303
(subAttribute FederalParliamentaryDemocracy Democracy) Government.kif 306-306
(subAttribute MultipartyDemocracy Democracy) Government.kif 309-309
(subAttribute ParliamentaryDemocracy Democracy) Government.kif 304-304
(subAttribute ParliamentaryDemocraticRepublic Democracy) Government.kif 305-305
(termFormat ChineseLanguage Democracy "民主") domainEnglishFormat.kif 18984-18984
(termFormat ChineseTraditionalLanguage Democracy "民主") domainEnglishFormat.kif 18983-18983
(termFormat EnglishLanguage Democracy "democracy") domainEnglishFormat.kif 18982-18982

antecedent
-------------------------


(=>
    (and
        (instance ?COUNTRY GeopoliticalArea)
        (governmentType ?COUNTRY Democracy))
    (subProposition VoterCitizenshipRequirement
        (RegionalLawFn ?COUNTRY)))
Government.kif 917-921
(=>
    (and
        (instance ?COUNTRY Nation)
        (governmentType ?COUNTRY Democracy))
    (exists (?SUFFRAGE)
        (and
            (instance ?SUFFRAGE SuffrageLaw)
            (subProposition ?SUFFRAGE
                (RegionalLawFn ?COUNTRY)))))
Government.kif 906-913

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


(=>
    (and
        (chiefOfStateType ?AREA ?POSITION)
        (agent ?ELECTION ?AREA)
        (instance ?ELECTION Election)
        (electionForPosition ?ELECTION ?POSITION)
        (instance ?ELECTION PopularElection))
    (governmentType ?AREA Democracy))
Government.kif 1588-1595
(=>
    (attribute ?AREA DemocraticSocialism)
    (governmentType ?AREA Democracy))
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