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 | ElectionFn の数値 1 引数は AutonomousAgent の instance では |
(instance ElectionFn UnaryFunction) | Government.kif 1646-1646 | ElectionFn は 1変数関数 の instance では |
(rangeSubclass ElectionFn Election) | Government.kif 1648-1648 | ElectionFn が返す値は Election の subclasses では |
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
|
![]() |
![]() |