VoterCitizenshipRequirement - Sigma Knowledge base Browser

appearance as argument number 1

(containsInformation (forall (?COUNTRY ?ELECTION ?VOTING ?VOTER) (=> (and (instance ?COUNTRY Nation) (instance ?ELECTION (ElectionFn ?COUNTRY)) (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?VOTER)) (citizen ?VOTER ?COUNTRY))) VoterCitizenshipRequirement)	Government.kif 909-917	For all ?COUNTRY, ?ELECTION,, , ?VOTING and ?VOTER if ?COUNTRY is an instance of nation and ?ELECTION is an instance of the election of ?COUNTRY and ?VOTING is an instance of the voting of ?ELECTION and ?VOTER is an agent of ?VOTING, then ?VOTER is a citizen of ?COUNTRY contains information voter citizenship requirement
(instance VoterCitizenshipRequirement SuffrageLaw)	Government.kif 901-901	Voter citizenship requirement is an instance of suffrage law

appearance as argument number 2

(termFormat ChineseLanguage VoterCitizenshipRequirement "选民公民身份要求")	domainEnglishFormat.kif 61864-61864
(termFormat ChineseTraditionalLanguage VoterCitizenshipRequirement "選民公民身份要求")	domainEnglishFormat.kif 61863-61863
(termFormat EnglishLanguage VoterCitizenshipRequirement "voter citizenship requirement")	domainEnglishFormat.kif 61862-61862

consequent

(=>
    (and
        (instance ?COUNTRY GeopoliticalArea)
        (governmentType ?COUNTRY Democracy))
    (subProposition VoterCitizenshipRequirement
        (RegionalLawFn ?COUNTRY)))

Government.kif 903-907