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 286-289
(externalImage Democracy "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4d/ Freedom_House_world_map_2007.png") pictureList.kif 5956-5956
(externalImage Democracy "http://upload.wikimedia.org/wikipedia/commons/ 8/ 83/ Democracyindex2.png") pictureList.kif 6365-6365
(externalImage Democracy "http://upload.wikimedia.org/wikipedia/commons/ 8/ 85/ Freedom_House_Country_Rankings_1972-2005.png") pictureList.kif 6366-6366
(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 6367-6367
(instance Democracy FormOfGovernment) Government.kif 175-175

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


(subAttribute ConstitutionalDemocraticRepublic Democracy) Government.kif 296-296
(subAttribute ConstitutionalParliamentaryDemocracy Democracy) Government.kif 295-295
(subAttribute EmergingDemocracy Democracy) Government.kif 298-298
(subAttribute FederalDemocraticRepublic Democracy) Government.kif 291-291
(subAttribute FederalParliamentaryDemocracy Democracy) Government.kif 294-294
(subAttribute MultipartyDemocracy Democracy) Government.kif 297-297
(subAttribute ParliamentaryDemocracy Democracy) Government.kif 292-292
(subAttribute ParliamentaryDemocraticRepublic Democracy) Government.kif 293-293
(termFormat ChineseLanguage Democracy "民主") domainEnglishFormat.kif 18913-18913
(termFormat ChineseTraditionalLanguage Democracy "民主") domainEnglishFormat.kif 18912-18912
(termFormat EnglishLanguage Democracy "democracy") domainEnglishFormat.kif 18911-18911

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


(=>
    (and
        (instance ?COUNTRY GeopoliticalArea)
        (governmentType ?COUNTRY Democracy))
    (subProposition VoterCitizenshipRequirement
        (RegionalLawFn ?COUNTRY)))
Government.kif 903-907
(=>
    (and
        (instance ?COUNTRY Nation)
        (governmentType ?COUNTRY Democracy))
    (exists (?SUFFRAGE)
        (and
            (instance ?SUFFRAGE SuffrageLaw)
            (subProposition ?SUFFRAGE
                (RegionalLawFn ?COUNTRY)))))
Government.kif 892-899

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


(=>
    (and
        (chiefOfStateType ?AREA ?POSITION)
        (agent ?ELECTION ?AREA)
        (instance ?ELECTION Election)
        (electionForPosition ?ELECTION ?POSITION)
        (instance ?ELECTION PopularElection))
    (governmentType ?AREA Democracy))
Government.kif 1542-1549
(=>
    (attribute ?AREA DemocraticSocialism)
    (governmentType ?AREA Democracy))
Economy.kif 820-822


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners