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 1650-1652 | |
(domain ElectionFn 1 AutonomousAgent) | Government.kif 1647-1647 | Le nombre 1 argument de ElectionFn est une instance de AutonomousAgent |
(instance ElectionFn UnaryFunction) | Government.kif 1646-1646 | ElectionFn est une instance de function unaire |
(rangeSubclass ElectionFn Election) | Government.kif 1648-1648 | Les valeurs retourn�es par ElectionFn sont des sous-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 21429-21429 | |
(termFormat ChineseTraditionalLanguage ElectionFn "選舉") | domainEnglishFormat.kif 21428-21428 | |
(termFormat EnglishLanguage ElectionFn "election") | domainEnglishFormat.kif 21427-21427 |
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 1203-1210 | ?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 885-893 | ?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 1054-1065 | ?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 1122-1136 | ?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE
|
![]() |
![]() |