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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 887-890
(subclass SuffrageLaw Proposition) Government.kif 885-885 subclass SuffrageLaw and Proposition

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


(instance CompulsorySuffrageLaw SuffrageLaw) Government.kif 1116-1116 instance CompulsorySuffrageLaw and SuffrageLaw
(instance UniversalSuffrageLaw SuffrageLaw) Government.kif 1056-1056 instance UniversalSuffrageLaw and SuffrageLaw
(instance VoterCitizenshipRequirement SuffrageLaw) Government.kif 901-901 instance VoterCitizenshipRequirement and SuffrageLaw
(subclass RestrictedSuffrage SuffrageLaw) Government.kif 1187-1187 subclass RestrictedSuffrage and SuffrageLaw
(subclass VoterAgeRequirement SuffrageLaw) Government.kif 919-919 subclass VoterAgeRequirement and SuffrageLaw
(termFormat ChineseLanguage SuffrageLaw "选举法") domainEnglishFormat.kif 55838-55838
(termFormat ChineseTraditionalLanguage SuffrageLaw "選舉法") domainEnglishFormat.kif 55837-55837
(termFormat EnglishLanguage SuffrageLaw "suffrage law") domainEnglishFormat.kif 55836-55836

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


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


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