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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SuffrageLaw

Sigma KEE - SuffrageLaw
SuffrageLaw(suffrage law)

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 901-904
(subclass SuffrageLaw Proposition) Government.kif 899-899 Suffrage law is a subclass of proposition

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


(instance CompulsorySuffrageLaw SuffrageLaw) Government.kif 1154-1154 Compulsory suffrage law is an instance of suffrage law
(instance UniversalSuffrageLaw SuffrageLaw) Government.kif 1086-1086 Universal suffrage law is an instance of suffrage law
(instance VoterCitizenshipRequirement SuffrageLaw) Government.kif 915-915 Voter citizenship requirement is an instance of suffrage law
(subclass RestrictedSuffrage SuffrageLaw) Government.kif 1233-1233 Restricted suffrage is a subclass of suffrage law
(subclass VoterAgeRequirement SuffrageLaw) Government.kif 933-933 Voter age requirement is a subclass of suffrage law
(termFormat ChineseLanguage SuffrageLaw "选举法") domainEnglishFormat.kif 55945-55945
(termFormat ChineseTraditionalLanguage SuffrageLaw "選舉法") domainEnglishFormat.kif 55944-55944
(termFormat EnglishLanguage SuffrageLaw "suffrage law") domainEnglishFormat.kif 55943-55943

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


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


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