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 61915-61915 termFormat ChineseLanguage, VoterAgeRequirement and "选民年龄要求"
(termFormat ChineseTraditionalLanguage VoterAgeRequirement "選民年齡要求") domainEnglishFormat.kif 61914-61914 termFormat ChineseTraditionalLanguage, VoterAgeRequirement and "選民年齡要求"
(termFormat EnglishLanguage VoterAgeRequirement "voter age requirement") domainEnglishFormat.kif 61913-61913 termFormat EnglishLanguage, VoterAgeRequirement and "voter age requirement"

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners