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 | VotingFn の数値 1 引数は Election の instance では %n |
(instance VotingFn UnaryFunction) | Government.kif 1728-1728 | VotingFn は 1変数関数 の instance では %n |
(rangeSubclass VotingFn Voting) | Government.kif 1730-1730 | VotingFn が返す値は Voting の subclasses では %n |
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
|