| 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 1078-1089 | |
| (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 1074-1076 | |
| (instance UniversalSuffrageLaw SuffrageLaw) | Government.kif 1072-1072 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage UniversalSuffrageLaw "普选法") | domainEnglishFormat.kif 60436-60436 | |
| (termFormat ChineseTraditionalLanguage UniversalSuffrageLaw "普選法") | domainEnglishFormat.kif 60435-60435 | |
| (termFormat EnglishLanguage UniversalSuffrageLaw "universal suffrage law") | domainEnglishFormat.kif 60434-60434 |
| antecedent |
|
|
| (=> (and (citizen ?AGENT ?POLITY) (subProposition UniversalSuffrageLaw (RegionalLawFn ?POLITY))) (confersRight (forall (?VOTINGAGE ?AGE ?ELECTION) (=> (and (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (exists (?VOTING) (and (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?AGENT))))) (RegionalLawFn ?POLITY) ?AGENT)) |
Government.kif 1118-1138 | |
| (=> (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 1106-1116 | |
| (=> (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 1092-1104 |
|
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 is open source software produced by Articulate Software and its partners