UniversalSuffrageLaw - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - UniversalSuffrageLaw

UniversalSuffrageLaw(universal suffrage law)

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 1062-1071	For all ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE and ?AGE if ?AGENT is a citizen of ?POLITY and ?VOTINGAGE is a suffrage age minimum of ?POLITY and the age of ?AGENT is ?AGE and ?AGE is greater than or equal to ?VOTINGAGE and ?ELECTION is an instance of the election of ?POLITY, then ?AGENT is capable of doing the voting of ?ELECTION as a agent contains information universal suffrage law
(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 1058-1060
(instance UniversalSuffrageLaw SuffrageLaw)	Government.kif 1056-1056	Universal suffrage law is an instance of suffrage law

appearance as argument number 2

(termFormat ChineseLanguage UniversalSuffrageLaw "普选法")	domainEnglishFormat.kif 60339-60339
(termFormat ChineseTraditionalLanguage UniversalSuffrageLaw "普選法")	domainEnglishFormat.kif 60338-60338
(termFormat EnglishLanguage UniversalSuffrageLaw "universal suffrage law")	domainEnglishFormat.kif 60337-60337

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	If a human is a citizen of a nation and universal suffrage law is a sub-proposition of the regional law of the nation, then the regional law of the nation allows the human to perform task of the type for all an entity, another entity and a third entity if the human is a citizen of the nation and the entity is a suffrage age minimum of the nation and the age of the human is the other entity and the other entity is greater than or equal to the entity and the third entity is an instance of the election of the nation, then there exists a fourth entity such that the fourth entity is an instance of the voting of the third entity and the human is an agent of the fourth entity
(=> (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	If universal suffrage law is a sub-proposition of the regional law of a nation and a human is a citizen of the nation and a time duration is a suffrage age minimum of the nation and the age of the human is another time duration and the other time duration is greater than or equal to the time duration and an election is an instance of the election of the nation, then the human is capable of doing the voting of the election as a agent
(=> (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	If universal suffrage law is a sub-proposition of the regional law of a nation, then for all a human, an election,, , a time duration and another time duration if the human is a citizen of the nation and the time duration is a suffrage age minimum of the nation and the age of the human is the other time duration and the other time duration is greater than or equal to the time duration and the election is an instance of the election of the nation, then the human is capable of doing the voting of the election as a agent

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