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 | Il numero 1 argomenti di ElectionFn è un istanza di AutonomousAgent |
(instance ElectionFn UnaryFunction) | Government.kif 1684-1684 | ElectionFn è un' istanza di FunzioneUnaria |
(rangeSubclass ElectionFn Election) | Government.kif 1686-1686 | I valori resi da ElectionFn sono sottoclassi diElection |
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
|