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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VoterAgeRequirement
VoterAgeRequirement

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


(subclass VoterAgeRequirement SuffrageLaw) Government.kif 919-919 subclass VoterAgeRequirement and SuffrageLaw

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


(termFormat ChineseLanguage VoterAgeRequirement "选民年龄要求") domainEnglishFormat.kif 61879-61879
(termFormat ChineseTraditionalLanguage VoterAgeRequirement "選民年齡要求") domainEnglishFormat.kif 61878-61878
(termFormat EnglishLanguage VoterAgeRequirement "voter age requirement") domainEnglishFormat.kif 61877-61877

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 1007-1016
(=>
    (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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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