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 | Le nombre 1 argument de ElectionFn est une instance de AutonomousAgent |
(instance ElectionFn UnaryFunction) | Government.kif 1684-1684 | ElectionFn est une instance de function unaire |
(rangeSubclass ElectionFn Election) | Government.kif 1686-1686 | 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 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
|