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 | O argumento numero 1 de VotingFn e' uma instancia de Election |
(instance VotingFn UnaryFunction) | Government.kif 1728-1728 | VotingFn e' uma instancia de funcao Unaria |
(rangeSubclass VotingFn Voting) | Government.kif 1730-1730 | Os valores retornados por VotingFn sao as sub-classes de 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 | ?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
|