ElectionFn |
appearance as argument number 1 |
(documentation ElectionFn EnglishLanguage "(ElectionFn ?ORG) denotes the class of Elections conducted by the GeopoliticalArea or Organization ?ORG, in which offices or issues pertaining to ?ORG are voted upon.") | Government.kif 1688-1690 | |
(domain ElectionFn 1 AutonomousAgent) | Government.kif 1685-1685 | O argumento numero 1 de ElectionFn e' uma instancia de AutonomousAgent |
(instance ElectionFn UnaryFunction) | Government.kif 1684-1684 | ElectionFn e' uma instancia de funcao Unaria |
(rangeSubclass ElectionFn Election) | Government.kif 1686-1686 | Os valores retornados por ElectionFn sao as sub-classes de Election |
appearance as argument number 2 |
(format ChineseLanguage ElectionFn "%1 的 election ") | domainEnglishFormat.kif 844-844 | |
(format ChineseTraditionalLanguage ElectionFn "%1 的 election ") | domainEnglishFormat.kif 843-843 | |
(format EnglishLanguage ElectionFn "the election of %1") | domainEnglishFormat.kif 842-842 | |
(termFormat ChineseLanguage ElectionFn "选举") | domainEnglishFormat.kif 21420-21420 | |
(termFormat ChineseTraditionalLanguage ElectionFn "選舉") | domainEnglishFormat.kif 21419-21419 | |
(termFormat EnglishLanguage ElectionFn "election") | domainEnglishFormat.kif 21418-21418 |
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
|