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 5954-5954
(externalImage Democracy "http://upload.wikimedia.org/wikipedia/commons/ 8/ 83/ Democracyindex2.png") pictureList.kif 6363-6363
(externalImage Democracy "http://upload.wikimedia.org/wikipedia/commons/ 8/ 85/ Freedom_House_Country_Rankings_1972-2005.png") pictureList.kif 6364-6364
(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 6365-6365
(instance Democracy FormOfGovernment) Government.kif 175-175 DemocracyFormOfGovernmentinstance では

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


(subAttribute ConstitutionalDemocraticRepublic Democracy) Government.kif 308-308 ConstitutionalDemocraticRepublicDemocracysubattribute では
(subAttribute ConstitutionalParliamentaryDemocracy Democracy) Government.kif 307-307 ConstitutionalParliamentaryDemocracyDemocracysubattribute では
(subAttribute EmergingDemocracy Democracy) Government.kif 310-310 EmergingDemocracyDemocracysubattribute では
(subAttribute FederalDemocraticRepublic Democracy) Government.kif 303-303 FederalDemocraticRepublicDemocracysubattribute では
(subAttribute FederalParliamentaryDemocracy Democracy) Government.kif 306-306 FederalParliamentaryDemocracyDemocracysubattribute では
(subAttribute MultipartyDemocracy Democracy) Government.kif 309-309 MultipartyDemocracyDemocracysubattribute では
(subAttribute ParliamentaryDemocracy Democracy) Government.kif 304-304 ParliamentaryDemocracyDemocracysubattribute では
(subAttribute ParliamentaryDemocraticRepublic Democracy) Government.kif 305-305 ParliamentaryDemocraticRepublicDemocracysubattribute では
(termFormat ChineseLanguage Democracy "民主") domainEnglishFormat.kif 18993-18993 ParliamentaryDemocraticRepublicDemocracysubattribute では
(termFormat ChineseTraditionalLanguage Democracy "民主") domainEnglishFormat.kif 18992-18992 ParliamentaryDemocraticRepublicDemocracysubattribute では
(termFormat EnglishLanguage Democracy "democracy") domainEnglishFormat.kif 18991-18991 ParliamentaryDemocraticRepublicDemocracysubattribute では

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


(=>
    (and
        (instance ?COUNTRY GeopoliticalArea)
        (governmentType ?COUNTRY Democracy))
    (subProposition VoterCitizenshipRequirement
        (RegionalLawFn ?COUNTRY)))
Government.kif 879-883
(=>
    (and
        (instance ?COUNTRY Nation)
        (governmentType ?COUNTRY Democracy))
    (exists (?SUFFRAGE)
        (and
            (instance ?SUFFRAGE SuffrageLaw)
            (subProposition ?SUFFRAGE
                (RegionalLawFn ?COUNTRY)))))
Government.kif 868-875

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


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