UniversalSuffrageLaw(universal suffrage law) |
appearance as argument number 1 |
(containsInformation (forall (?POLITY ?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))) UniversalSuffrageLaw) |
Government.kif 1092-1103 | For all ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE and ?AGE
|
(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 1088-1090 | |
(instance UniversalSuffrageLaw SuffrageLaw) | Government.kif 1086-1086 | Universal suffrage law is an instance of suffrage law |
appearance as argument number 2 |
(termFormat ChineseLanguage UniversalSuffrageLaw "普选法") | domainEnglishFormat.kif 60452-60452 | |
(termFormat ChineseTraditionalLanguage UniversalSuffrageLaw "普選法") | domainEnglishFormat.kif 60451-60451 | |
(termFormat EnglishLanguage UniversalSuffrageLaw "universal suffrage law") | domainEnglishFormat.kif 60450-60450 |
antecedent |