Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| suffrageAgeMaximum |
| appearance as argument number 1 |
|
| (instance suffrageAgeMaximum BinaryPredicate) | Government.kif 985-985 | suffrage age maximum is an instance of binary predicate |
| (documentation suffrageAgeMaximum EnglishLanguage "(suffrageAgeMaximum ?POLITY ?AGE) means that in the Organization or GeopoliticalArea ?POLITY, a person must be ?AGE or younger in order to vote in the elections of ?POLITY.") | Government.kif 987-989 | suffrage age maximum is an instance of binary predicate |
| (domain suffrageAgeMaximum 1 AutonomousAgent) | Government.kif 991-991 | The number 1 argument of suffrage age maximum is an instance of agent |
| (domain suffrageAgeMaximum 2 TimeDuration) | Government.kif 992-992 | The number 2 argument of suffrage age maximum is an instance of time duration |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage suffrageAgeMaximum "%2 is %n a suffrage age maximum of %1") | domainEnglishFormat.kif 2409-2409 | |
| (format ChineseTraditionalLanguage suffrageAgeMaximum "%2 %n 是 %1 的 suffrage 最大年紀") | domainEnglishFormat.kif 2410-2410 | |
| (format ChineseLanguage suffrageAgeMaximum "%2 %n 是 %1 的 suffrage 最大年纪") | domainEnglishFormat.kif 2411-2411 | |
| (termFormat EnglishLanguage suffrageAgeMaximum "suffrage age maximum") | domainEnglishFormat.kif 55928-55928 | |
| (termFormat ChineseTraditionalLanguage suffrageAgeMaximum "選舉年齡最大值") | domainEnglishFormat.kif 55929-55929 | |
| (termFormat ChineseLanguage suffrageAgeMaximum "选举年龄最大值") | domainEnglishFormat.kif 55930-55930 |
| antecedent |
|
|
| (=> (suffrageAgeMaximum ?AGENT ?AGE) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea))) |
Government.kif 994-998 | If X is a suffrage age maximum of Y, then Y is an instance of organization or Y is an instance of geopolitical area |
| (=> (and (suffrageAgeMaximum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT)) (exists (?AGE) (and (age ?AGENT (MeasureFn ?AGE YearDuration)) (lessThanOrEqualTo ?AGE ?VOTINGAGE)))) |
Government.kif 1011-1021 | If X year duration(s) is a suffrage age maximum 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 less than or equal to X |
| (=> (and (suffrageAgeMaximum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT) (age ?AGENT (MeasureFn ?AGE YearDuration))) (lessThanOrEqualTo ?AGE ?VOTINGAGE)) |
Government.kif 1023-1031 | If X year duration(s) is a suffrage age maximum 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 less than or equal to X |
| (=> (and (instance ?ELECTION (ElectionFn ?POLITY)) (instance ?ACT (VotingFn ?ELECTION)) (agent ?ACT ?AGENT) (suffrageAgeMaximum ?POLITY (MeasureFn ?VOTINGAGE YearDuration))) (exists (?AGE) (and (age ?AGENT (MeasureFn ?AGE YearDuration)) (lessThanOrEqualTo ?AGE ?VOTINGAGE)))) |
Government.kif 1033-1044 | 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 maximum of Y, then there exists U such that the age of W is U year duration(s) and U is less than or equal to V |
| (=> (and (instance ?ELECTION (ElectionFn ?POLITY)) (instance ?ACT (VotingFn ?ELECTION)) (agent ?ACT ?AGENT) (suffrageAgeMaximum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration))) (lessThanOrEqualTo ?AGE ?VOTINGAGE)) |
Government.kif 1046-1055 | 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 maximum of Y, and the age of W is U year duration(s), then U is less than or equal to V |
|