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

KB Term:  Term intersection
English Word: 

Sigma KEE - RegionalLawFn
RegionalLawFn

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


(instance RegionalLawFn UnaryFunction) Government.kif 852-852 Regional law is an instance of unary function
(domain RegionalLawFn 1 GeopoliticalArea) Government.kif 853-853 The number 1 argument of regional law is an instance of geopolitical area
(range RegionalLawFn RegionalLaw) Government.kif 854-854 The range of regional law is an instance of regional law
(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 856-860 The range of regional law is an instance of regional law

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


(format EnglishLanguage RegionalLawFn "the regional law of %1") domainEnglishFormat.kif 2121-2121
(format ChineseTraditionalLanguage RegionalLawFn "%1 的 regional 法律") domainEnglishFormat.kif 2122-2122
(format ChineseLanguage RegionalLawFn "%1 的 regional 法律") domainEnglishFormat.kif 2123-2123
(termFormat EnglishLanguage RegionalLawFn "regional law") domainEnglishFormat.kif 49215-49215
(termFormat ChineseTraditionalLanguage RegionalLawFn "區域法") domainEnglishFormat.kif 49216-49216
(termFormat ChineseLanguage RegionalLawFn "区域法") domainEnglishFormat.kif 49217-49217

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


(=>
    (subProposition UniversalSuffrageLaw
        (RegionalLawFn ?POLITY))
    (forall (?AGENT ?ELECTION ?VOTINGAGE ?AGE)
        (=>
            (and
                (citizen ?AGENT ?POLITY)
                (suffrageAgeMinimum ?POLITY
                    (MeasureFn ?VOTINGAGE YearDuration))
                (age ?AGENT
                    (MeasureFn ?AGE YearDuration))
                (greaterThanOrEqualTo ?AGE ?VOTINGAGE)
                (instance ?ELECTION
                    (ElectionFn ?POLITY)))
            (capability
                (VotingFn ?ELECTION) agent ?AGENT))))		 Government.kif 1077-1089 If universal suffrage law is a sub-proposition of the regional law of X, then For all Human Y, Election Z, and RealNumbers W and V: if Y is a citizen of X, W year duration(s) is a suffrage age minimum of X, the age of Y is V year duration(s), V is greater than or equal to W, and Z is an instance of the election of X, then Y is capable of doing the voting of Z as a agent
(=>
    (and
        (subProposition UniversalSuffrageLaw
            (RegionalLawFn ?POLITY))
        (citizen ?AGENT ?POLITY)
        (suffrageAgeMinimum ?POLITY
            (MeasureFn ?VOTINGAGE YearDuration))
        (age ?AGENT
            (MeasureFn ?AGE YearDuration))
        (greaterThanOrEqualTo ?AGE ?VOTINGAGE)
        (instance ?ELECTION
            (ElectionFn ?POLITY)))
    (capability
        (VotingFn ?ELECTION) agent ?AGENT))		 Government.kif 1091-1101 If All of the following hold: (1) universal suffrage law is a sub-proposition of the regional law of X (2) Y is a citizen of X (3) Z year duration(s) is a suffrage age minimum of X (4) the age of Y is W year duration(s) (5) W is greater than or equal to Z (6) V is an instance of the election of X, then Y is capable of doing the voting of V as a agent
(=>
    (and
        (subProposition ExclusiveMaleSuffrage
            (RegionalLawFn ?POLITY))
        (citizen ?AGENT ?POLITY)
        (instance ?ELECTION
            (ElectionFn ?POLITY))
        (capability
            (VotingFn ?ELECTION) agent ?AGENT))
    (attribute ?AGENT Male))		 Government.kif 1221-1227 If exclusive male suffrage is a sub-proposition of the regional law of X, Y is a citizen of X, Z is an instance of the election of X, and Y is capable of doing the voting of Z as a agent, then male is an attribute of Y
(=>
    (and
        (subProposition ExclusiveMaleSuffrage
            (RegionalLawFn ?POLITY))
        (citizen ?AGENT ?POLITY)
        (instance ?ELECTION
            (ElectionFn ?POLITY))
        (instance ?ACT
            (VotingFn ?ELECTION))
        (agent ?ACT ?AGENT))
    (attribute ?AGENT Male))		 Government.kif 1229-1236 If exclusive male suffrage is a sub-proposition of the regional law of X, Y is a citizen of X, Z is an instance of the election of X, W is an instance of the voting of Z, and Y is an agent of W, then male is an attribute of Y
(=>
    (and
        (subProposition ExclusiveMaleSuffrage
            (RegionalLawFn ?AREA))
        (attribute ?AGENT Female)
        (member ?AGENT
            (ResidentFn ?AREA))
        (instance ?ELECTION Election))
    (not
        (capability
            (VotingFn ?ELECTION) agent ?AGENT)))		 Government.kif 1238-1244 If exclusive male suffrage is a sub-proposition of the regional law of X, female is an attribute of Y, Y is a member of the resident of X, and Z is an instance of election, then Y is not capable of doing the voting of Z as a agent

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


(=>
    (legalSystemType ?AREA ?TYPE)
    (attribute
        (RegionalLawFn ?AREA) ?TYPE))		 Government.kif 862-864 If X is a legal system type of Y, then X is an attribute of the regional law of Y
(=>
    (and
        (instance ?COUNTRY Nation)
        (governmentType ?COUNTRY Democracy))
    (exists (?SUFFRAGE)
        (and
            (instance ?SUFFRAGE SuffrageLaw)
            (subProposition ?SUFFRAGE
                (RegionalLawFn ?COUNTRY)))))		 Government.kif 877-884 If X is an instance of nation and democracy is a government type of X, then there exists Y such that Y is an instance of suffrage law and Y is a sub-proposition of the regional law of X
(=>
    (and
        (instance ?COUNTRY GeopoliticalArea)
        (governmentType ?COUNTRY Democracy))
    (subProposition VoterCitizenshipRequirement
        (RegionalLawFn ?COUNTRY)))		 Government.kif 888-892 If X is an instance of geopolitical area and democracy is a government type of X, then voter citizenship requirement is a sub-proposition of the regional law of X
(=>
    (instance ?COUNTRY Nation)
    (exists (?AGERULE)
        (and
            (instance ?AGERULE VoterAgeRequirement)
            (subProposition ?AGERULE
                (RegionalLawFn ?COUNTRY)))))		 Government.kif 906-911 If X is an instance of nation, then there exists Y such that Y is an instance of voter age requirement and Y is a sub-proposition of the regional law of X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners