TreeView Knowledge Base Browser - VoterAgeRequirement

appearance as argument number 1

(subclass VoterAgeRequirement SuffrageLaw)

appearance as argument number 2

(termFormat EnglishLanguage VoterAgeRequirement "voter age requirement")	domainEnglishFormat.kif 61972-61972
(termFormat ChineseTraditionalLanguage VoterAgeRequirement "選民年齡要求")	domainEnglishFormat.kif 61973-61973
(termFormat ChineseLanguage VoterAgeRequirement "选民年龄要求")	domainEnglishFormat.kif 61974-61974

consequent

(=>
    (instance ?COUNTRY Nation)
    (exists (?AGERULE)
        (and
            (instance ?AGERULE VoterAgeRequirement)
            (subProposition ?AGERULE
                (RegionalLawFn ?COUNTRY)))))

If X is an instance of nation, then there exists Y such that Y is an instance of voter age requirement and Y is a sub-proposition of the regional law of X