UniversalSuffrageLaw |
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 1056-1067 | ?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 1052-1054 | |
(instance UniversalSuffrageLaw SuffrageLaw) | Government.kif 1050-1050 | UniversalSuffrageLaw è un' istanza di SuffrageLaw |
appearance as argument number 2 |
(termFormat ChineseLanguage UniversalSuffrageLaw "普选法") | domainEnglishFormat.kif 60454-60454 | |
(termFormat ChineseTraditionalLanguage UniversalSuffrageLaw "普選法") | domainEnglishFormat.kif 60453-60453 | |
(termFormat EnglishLanguage UniversalSuffrageLaw "universal suffrage law") | domainEnglishFormat.kif 60452-60452 |
antecedent |