SuffrageLaw - Sigma Knowledge base Browser

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 863-866
(subclass SuffrageLaw Proposition)	Government.kif 861-861	SuffrageLaw est une sous-classe de proposition

appearance as argument number 2

(instance CompulsorySuffrageLaw SuffrageLaw)	Government.kif 1116-1116	CompulsorySuffrageLaw est une instance de SuffrageLaw
(instance UniversalSuffrageLaw SuffrageLaw)	Government.kif 1048-1048	UniversalSuffrageLaw est une instance de SuffrageLaw
(instance VoterCitizenshipRequirement SuffrageLaw)	Government.kif 877-877	VoterCitizenshipRequirement est une instance de SuffrageLaw
(subclass RestrictedSuffrage SuffrageLaw)	Government.kif 1195-1195	RestrictedSuffrage est une sous-classe de SuffrageLaw
(subclass VoterAgeRequirement SuffrageLaw)	Government.kif 895-895	VoterAgeRequirement est une sous-classe de SuffrageLaw
(termFormat ChineseLanguage SuffrageLaw "选举法")	domainEnglishFormat.kif 55949-55949	VoterAgeRequirement est une sous-classe de SuffrageLaw
(termFormat ChineseTraditionalLanguage SuffrageLaw "選舉法")	domainEnglishFormat.kif 55948-55948	VoterAgeRequirement est une sous-classe de SuffrageLaw
(termFormat EnglishLanguage SuffrageLaw "suffrage law")	domainEnglishFormat.kif 55947-55947	VoterAgeRequirement est une sous-classe de SuffrageLaw

consequent

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

Government.kif 868-875