Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| suffrageAgeMinimum |
| appearance as argument number 1 |
|
| (instance suffrageAgeMinimum BinaryPredicate) | Government.kif 913-913 | suffrage age minimum is an instance of binary predicate |
| (documentation suffrageAgeMinimum EnglishLanguage "(suffrageAgeMinimum ?POLITY ?AGE) means that in the Organization or GeopoliticalArea ?POLITY, a person must be ?AGE or older in order to vote in the elections of ?POLITY.") | Government.kif 915-917 | suffrage age minimum is an instance of binary predicate |
| (domain suffrageAgeMinimum 1 AutonomousAgent) | Government.kif 919-919 | The number 1 argument of suffrage age minimum is an instance of agent |
| (domain suffrageAgeMinimum 2 TimeDuration) | Government.kif 920-920 | The number 2 argument of suffrage age minimum is an instance of time duration |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage suffrageAgeMinimum "%2 is %n a suffrage age minimum of %1") | domainEnglishFormat.kif 2413-2413 | |
| (format ChineseTraditionalLanguage suffrageAgeMinimum "%2 %n 是 %1 的 suffrage 最小年紀") | domainEnglishFormat.kif 2414-2414 | |
| (format ChineseLanguage suffrageAgeMinimum "%2 %n 是 %1 的 suffrage 最小年纪") | domainEnglishFormat.kif 2415-2415 | |
| (termFormat EnglishLanguage suffrageAgeMinimum "suffrage age minimum") | domainEnglishFormat.kif 55934-55934 | |
| (termFormat ChineseTraditionalLanguage suffrageAgeMinimum "最低年齡") | domainEnglishFormat.kif 55935-55935 | |
| (termFormat ChineseLanguage suffrageAgeMinimum "最低年龄") | domainEnglishFormat.kif 55936-55936 |
| antecedent |
|
|
| (=> (suffrageAgeMinimum ?AGENT ?AGE) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea))) |
Government.kif 922-926 | If X is a suffrage age minimum of Y, then Y is an instance of organization or Y is an instance of geopolitical area |
| (=> (and (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT)) (exists (?AGE) (and (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE)))) |
Government.kif 939-949 | If X year duration(s) is a suffrage age minimum of Y, Z is an instance of the election of Y, and W is capable of doing the voting of Z as a agent, then there exists V such that the age of W is V year duration(s) and V is greater than or equal to X |
| (=> (and (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT) (age ?AGENT (MeasureFn ?AGE YearDuration))) (greaterThanOrEqualTo ?AGE ?VOTINGAGE)) |
Government.kif 951-959 | If X year duration(s) is a suffrage age minimum of Y, Z is an instance of the election of Y, W is capable of doing the voting of Z as a agent, and the age of W is V year duration(s), then V is greater than or equal to X |
| (=> (and (instance ?ELECTION (ElectionFn ?POLITY)) (instance ?ACT (VotingFn ?ELECTION)) (agent ?ACT ?AGENT) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration))) (exists (?AGE) (and (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE)))) |
Government.kif 961-972 | If X is an instance of the election of Y, Z is an instance of the voting of X, W is an agent of Z, and V year duration(s) is a suffrage age minimum of Y, then there exists U such that the age of W is U year duration(s) and U is greater than or equal to V |
| (=> (and (instance ?ELECTION (ElectionFn ?POLITY)) (instance ?ACT (VotingFn ?ELECTION)) (agent ?ACT ?AGENT) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration))) (greaterThanOrEqualTo ?AGE ?VOTINGAGE)) |
Government.kif 974-983 | If X is an instance of the election of Y, Z is an instance of the voting of X, W is an agent of Z, V year duration(s) is a suffrage age minimum of Y, and the age of W is U year duration(s), then U is greater than or equal to V |
| (=> (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 |
| consequent |
|
|
| (=> (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 |
|