VotingFn |
appearance as argument number 1 |
(documentation VotingFn EnglishLanguage "(VotingFn ?ELECTION) denotes the class of voting events that occur as part of the Election ?ELECTION.") | Government.kif 1732-1733 | |
(domain VotingFn 1 Election) | Government.kif 1729-1729 | 域 表決, 1 and 選舉 |
(instance VotingFn UnaryFunction) | Government.kif 1728-1728 | 例 表決 and UnaryFunction |
(rangeSubclass VotingFn Voting) | Government.kif 1730-1730 | 範圍子類 表決 and 表決 |
appearance as argument number 2 |
(format ChineseLanguage VotingFn "%1 的 voting ") | domainEnglishFormat.kif 2607-2607 | |
(format ChineseTraditionalLanguage VotingFn "%1 的 voting ") | domainEnglishFormat.kif 2606-2606 | |
(format EnglishLanguage VotingFn "the voting of %1") | domainEnglishFormat.kif 2605-2605 | |
(termFormat ChineseLanguage VotingFn "表决") | domainEnglishFormat.kif 61989-61989 | |
(termFormat ChineseTraditionalLanguage VotingFn "表決") | domainEnglishFormat.kif 61988-61988 | |
(termFormat EnglishLanguage VotingFn "voting") | domainEnglishFormat.kif 61987-61987 |
antecedent |
consequent |
statement |
(containsInformation (forall (?AGENT ?VOTER ?ELECTION ?VOTING) (=> (and (instance ?ELECTION (ElectionFn ?AGENT)) (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?VOTER)) (attribute ?VOTER Male))) ExclusiveMaleSuffrage) |
Government.kif 1241-1248 | 包含信息 ?AGENT ?VOTER, ?ELECTION and ?VOTING
|
(containsInformation (forall (?COUNTRY ?ELECTION ?VOTING ?VOTER) (=> (and (instance ?COUNTRY Nation) (instance ?ELECTION (ElectionFn ?COUNTRY)) (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?VOTER)) (citizen ?VOTER ?COUNTRY))) VoterCitizenshipRequirement) |
Government.kif 923-931 | 包含信息 ?COUNTRY ?ELECTION, ?VOTING and ?VOTER
|
(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 | 包含信息 ?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE
|
(containsInformation (forall (?POLITY ?VOTER ?ELECTION ?VOTINGAGE ?AGE) (=> (and (citizen ?VOTER ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?VOTER (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (exists (?VOTING) (and (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?VOTER))))) CompulsorySuffrageLaw) |
Government.kif 1160-1174 | 包含信息 ?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE
|