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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RegionalLawFn
RegionalLawFn

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


(documentation RegionalLawFn EnglishLanguage "(RegionalLawFn ?AREA) denotes the laws pertaining in the GeopoliticalArea ?AREA that are established and enforced by the Government of ?AREA. For example, (RegionalLawFn UnitedStates) denotes the laws of the government of the UnitedStates and its constituent units.") Government.kif 871-875
(domain RegionalLawFn 1 GeopoliticalArea) Government.kif 868-868
(instance RegionalLawFn UnaryFunction) Government.kif 867-867
(range RegionalLawFn RegionalLaw) Government.kif 869-869

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


(format EnglishLanguage RegionalLawFn "the regional law of %1") domainEnglishFormat.kif 2117-2117
(termFormat ChineseLanguage RegionalLawFn "区域法") domainEnglishFormat.kif 49159-49159
(termFormat ChineseTraditionalLanguage RegionalLawFn "區域法") domainEnglishFormat.kif 49158-49158
(termFormat EnglishLanguage RegionalLawFn "regional law") domainEnglishFormat.kif 49157-49157

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 1096-1114
(=>
    (and
        (instance ?CAO CivilAffairsOperation)
        (located ?CAO ?NATION)
        (instance ?NATION Nation)
        (instance ?LAW
            (RegionalLawFn ?NATION))
        (realization ?CAO ?CONTENT))
    (consistent ?LAW ?CONTENT))
MilitaryProcesses.kif 2224-2232
(=>
    (and
        (subProposition CompulsorySuffrageLaw
            (RegionalLawFn ?POLITY))
        (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))))
Government.kif 1136-1147
(=>
    (and
        (subProposition CompulsorySuffrageLaw
            (RegionalLawFn ?POLITY))
        (citizen ?AGENT ?POLITY))
    (confersObligation
        (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 1167-1185
(=>
    (and
        (subProposition ExclusiveMaleSuffrage
            (RegionalLawFn ?AREA))
        (attribute ?AGENT Female)
        (member ?AGENT
            (ResidentFn ?AREA))
        (instance ?ELECTION Election))
    (not
        (capability
            (VotingFn ?ELECTION) agent ?AGENT)))
Government.kif 1221-1227
(=>
    (and
        (subProposition ExclusiveMaleSuffrage
            (RegionalLawFn ?POLITY))
        (citizen ?AGENT ?POLITY)
        (instance ?ELECTION
            (ElectionFn ?POLITY))
        (capability
            (VotingFn ?ELECTION) agent ?AGENT))
    (attribute ?AGENT Male))
Government.kif 1204-1210
(=>
    (and
        (subProposition ExclusiveMaleSuffrage
            (RegionalLawFn ?POLITY))
        (citizen ?AGENT ?POLITY)
        (instance ?ELECTION
            (ElectionFn ?POLITY))
        (instance ?ACT
            (VotingFn ?ELECTION))
        (agent ?ACT ?AGENT))
    (attribute ?AGENT Male))
Government.kif 1212-1219
(=>
    (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 1086-1094
(=>
    (subProposition CompulsorySuffrageLaw
        (RegionalLawFn ?POLITY))
    (confersObligation
        (forall (?AGENT ?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) ?POLITY))
Government.kif 1149-1165
(=>
    (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 1074-1084

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


(=>
    (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 1096-1114
(=>
    (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
(=>
    (and
        (instance ?COUNTRY GeopoliticalArea)
        (governmentType ?COUNTRY Democracy))
    (subProposition VoterCitizenshipRequirement
        (RegionalLawFn ?COUNTRY)))
Government.kif 903-907
(=>
    (and
        (instance ?COUNTRY Nation)
        (governmentType ?COUNTRY Democracy))
    (exists (?SUFFRAGE)
        (and
            (instance ?SUFFRAGE SuffrageLaw)
            (subProposition ?SUFFRAGE
                (RegionalLawFn ?COUNTRY)))))
Government.kif 892-899
(=>
    (and
        (subProposition CompulsorySuffrageLaw
            (RegionalLawFn ?POLITY))
        (citizen ?AGENT ?POLITY))
    (confersObligation
        (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 1167-1185
(=>
    (instance ?COUNTRY Nation)
    (exists (?AGERULE)
        (and
            (instance ?AGERULE VoterAgeRequirement)
            (subProposition ?AGERULE
                (RegionalLawFn ?COUNTRY)))))
Government.kif 921-926
(=>
    (legalSystemType ?AREA ?TYPE)
    (attribute
        (RegionalLawFn ?AREA) ?TYPE))
Government.kif 877-879
(=>
    (subProposition CompulsorySuffrageLaw
        (RegionalLawFn ?POLITY))
    (confersObligation
        (forall (?AGENT ?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) ?POLITY))
Government.kif 1149-1165


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