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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UniversalSuffrageLaw
UniversalSuffrageLaw

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


(containsInformation
    (forall (?POLITY ?AGENT ?ELECTION ?VOTINGAGE ?AGE)
        (=>
            (and
                (citizen ?AGENT ?POLITY)
                (suffrageAgeMinimum ?POLITY ?VOTINGAGE)
                (age ?AGENT ?AGE)
                (greaterThanOrEqualTo ?AGE ?VOTINGAGE)
                (instance ?ELECTION
                    (ElectionFn ?POLITY)))
            (capability
                (VotingFn ?ELECTION) agent ?AGENT))) UniversalSuffrageLaw)
Government.kif 1069-1078 ?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE UniversalSuffrageLaw の情報を contains %n{ない}
(documentation UniversalSuffrageLaw EnglishLanguage "UniversalSuffrageLaw is a law that enfranchises all citizens of a country who have achieved the applicable age of maturity (suffrageAgeMinumum).") Government.kif 1065-1067
(instance UniversalSuffrageLaw SuffrageLaw) Government.kif 1063-1063 UniversalSuffrageLawSuffrageLawinstance では %n

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


(termFormat ChineseLanguage UniversalSuffrageLaw "普选法") domainEnglishFormat.kif 60397-60397 termFormat ChineseLanguage, UniversalSuffrageLaw and "普选法"
(termFormat ChineseTraditionalLanguage UniversalSuffrageLaw "普選法") domainEnglishFormat.kif 60396-60396 termFormat ChineseTraditionalLanguage, UniversalSuffrageLaw and "普選法"
(termFormat EnglishLanguage UniversalSuffrageLaw "universal suffrage law") domainEnglishFormat.kif 60395-60395 termFormat EnglishLanguage, UniversalSuffrageLaw and "universal suffrage law"

antecedent
-------------------------


(=>
    (and
        (citizen ?AGENT ?POLITY)
        (subProposition UniversalSuffrageLaw
            (RegionalLawFn ?POLITY)))
    (confersRight
        (forall (?VOTINGAGE ?AGE ?ELECTION)
            (=>
                (and
                    (citizen ?AGENT ?POLITY)
                    (suffrageAgeMinimum ?POLITY ?VOTINGAGE)
                    (age ?AGENT ?AGE)
                    (greaterThanOrEqualTo ?AGE ?VOTINGAGE)
                    (instance ?ELECTION
                        (ElectionFn ?POLITY)))
                (exists (?VOTING)
                    (and
                        (instance ?VOTING
                            (VotingFn ?ELECTION))
                        (agent ?VOTING ?AGENT)))))
        (RegionalLawFn ?POLITY) ?AGENT))
Government.kif 1103-1121
(=>
    (and
        (subProposition UniversalSuffrageLaw
            (RegionalLawFn ?POLITY))
        (citizen ?AGENT ?POLITY)
        (suffrageAgeMinimum ?POLITY ?VOTINGAGE)
        (age ?AGENT ?AGE)
        (greaterThanOrEqualTo ?AGE ?VOTINGAGE)
        (instance ?ELECTION
            (ElectionFn ?POLITY)))
    (capability
        (VotingFn ?ELECTION) agent ?AGENT))
Government.kif 1093-1101
(=>
    (subProposition UniversalSuffrageLaw
        (RegionalLawFn ?POLITY))
    (forall (?AGENT ?ELECTION ?VOTINGAGE ?AGE)
        (=>
            (and
                (citizen ?AGENT ?POLITY)
                (suffrageAgeMinimum ?POLITY ?VOTINGAGE)
                (age ?AGENT ?AGE)
                (greaterThanOrEqualTo ?AGE ?VOTINGAGE)
                (instance ?ELECTION
                    (ElectionFn ?POLITY)))
            (capability
                (VotingFn ?ELECTION) agent ?AGENT))))
Government.kif 1081-1091


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