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 | The number 1 argument of voting is an instance of election |
(instance VotingFn UnaryFunction) | Government.kif 1728-1728 | Voting is an instance of unary function |
(rangeSubclass VotingFn Voting) | Government.kif 1730-1730 | The values returned by voting are subclasses of voting |
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 | For all ?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 | For all ?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 | For all ?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 | For all ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE and ?AGE
|