SuffrageLaw - Sigma Knowledge base Browser

appearance as argument number 1

(subclass SuffrageLaw Proposition)	Government.kif 870-870	Suffrage law is a subclass of proposition
(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 872-875	Suffrage law is a subclass of proposition

appearance as argument number 2

(instance VoterCitizenshipRequirement SuffrageLaw)	Government.kif 886-886	Voter citizenship requirement is an instance of suffrage law
(subclass VoterAgeRequirement SuffrageLaw)	Government.kif 904-904	Voter age requirement is a subclass of suffrage law
(instance UniversalSuffrageLaw SuffrageLaw)	Government.kif 1057-1057	Universal suffrage law is an instance of suffrage law
(instance CompulsorySuffrageLaw SuffrageLaw)	Government.kif 1125-1125	Compulsory suffrage law is an instance of suffrage law
(subclass RestrictedSuffrage SuffrageLaw)	Government.kif 1204-1204	Restricted suffrage is a subclass of suffrage law
(termFormat EnglishLanguage SuffrageLaw "suffrage law")	domainEnglishFormat.kif 55940-55940	Restricted suffrage is a subclass of suffrage law
(termFormat ChineseTraditionalLanguage SuffrageLaw "選舉法")	domainEnglishFormat.kif 55941-55941	Restricted suffrage is a subclass of suffrage law
(termFormat ChineseLanguage SuffrageLaw "选举法")	domainEnglishFormat.kif 55942-55942	Restricted suffrage is a subclass of suffrage law

consequent

(=>
    (and
        (instance ?COUNTRY Nation)
        (governmentType ?COUNTRY Democracy))
    (exists (?SUFFRAGE)
        (and
            (instance ?SUFFRAGE SuffrageLaw)
            (subProposition ?SUFFRAGE
                (RegionalLawFn ?COUNTRY)))))

If X is an instance of nation and democracy is a government type of X, then there exists Y such that Y is an instance of suffrage law and Y is a sub-proposition of the regional law of X