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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VoterAgeRequirement

Sigma KEE - VoterAgeRequirement
VoterAgeRequirement(voter age requirement)

appearance as argument number 1
-------------------------


(subclass VoterAgeRequirement SuffrageLaw) Government.kif 919-919 Voter age requirement is a subclass of suffrage law

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


(termFormat ChineseLanguage VoterAgeRequirement "选民年龄要求") domainEnglishFormat.kif 61938-61938
(termFormat ChineseTraditionalLanguage VoterAgeRequirement "選民年齡要求") domainEnglishFormat.kif 61937-61937
(termFormat EnglishLanguage VoterAgeRequirement "voter age requirement") domainEnglishFormat.kif 61936-61936

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


(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (suffrageAgeMaximum ?AREA ?AGE))
    (exists (?AGERULE)
        (and
            (instance ?AGERULE VoterAgeRequirement)
            (subProposition ?AGERULE
                (RegionalLawFn ?AREA))
            (containsInformation
                (suffrageAgeMaximum ?AREA ?AGE) ?AGERULE))))
Government.kif 1015-1024
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (suffrageAgeMinimum ?AREA ?AGE))
    (exists (?AGERULE)
        (and
            (instance ?AGERULE VoterAgeRequirement)
            (subProposition ?AGERULE
                (RegionalLawFn ?AREA))
            (containsInformation
                (suffrageAgeMinimum ?AREA ?AGE) ?AGERULE))))
Government.kif 943-952
(=>
    (instance ?COUNTRY Nation)
    (exists (?AGERULE)
        (and
            (instance ?AGERULE VoterAgeRequirement)
            (subProposition ?AGERULE
                (RegionalLawFn ?COUNTRY)))))
Government.kif 921-926


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners