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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SuffrageLaw

Sigma KEE - SuffrageLaw
SuffrageLaw

appearance as argument number 1
-------------------------


(documentation SuffrageLaw EnglishLanguage "SuffrageLaw is a class that includes the various types of suffrage rules of different Nations. Instances of SuffrageLaw represent the propositional content of various suffrage laws.") Government.kif 898-901
(subclass SuffrageLaw Proposition) Government.kif 896-896

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


(instance CompulsorySuffrageLaw SuffrageLaw) Government.kif 1151-1151
(instance UniversalSuffrageLaw SuffrageLaw) Government.kif 1083-1083
(instance VoterCitizenshipRequirement SuffrageLaw) Government.kif 912-912
(subclass RestrictedSuffrage SuffrageLaw) Government.kif 1230-1230
(subclass VoterAgeRequirement SuffrageLaw) Government.kif 930-930
(termFormat ChineseLanguage SuffrageLaw "选举法") domainEnglishFormat.kif 55924-55924
(termFormat ChineseTraditionalLanguage SuffrageLaw "選舉法") domainEnglishFormat.kif 55923-55923
(termFormat EnglishLanguage SuffrageLaw "suffrage law") domainEnglishFormat.kif 55922-55922

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


(=>
    (and
        (instance ?COUNTRY Nation)
        (governmentType ?COUNTRY Democracy))
    (exists (?SUFFRAGE)
        (and
            (instance ?SUFFRAGE SuffrageLaw)
            (subProposition ?SUFFRAGE
                (RegionalLawFn ?COUNTRY)))))
Government.kif 903-910


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

Show without tree


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