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 897-897 VoterAgeRequirement est une sous-classe de SuffrageLaw

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


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

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 993-1002
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (suffrageAgeMinimum ?AREA ?AGE))
    (exists (?AGERULE)
        (and
            (instance ?AGERULE VoterAgeRequirement)
            (subProposition ?AGERULE
                (RegionalLawFn ?AREA))
            (containsInformation
                (suffrageAgeMinimum ?AREA ?AGE) ?AGERULE))))		 Government.kif 921-930
(=>
    (instance ?COUNTRY Nation)
    (exists (?AGERULE)
        (and
            (instance ?AGERULE VoterAgeRequirement)
            (subProposition ?AGERULE
                (RegionalLawFn ?COUNTRY)))))		 Government.kif 899-904


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