ExclusiveMaleSuffrage
|
|
appearance as argument number 1 |
(containsInformation (forall (?AGENT ?VOTER ?ELECTION ?VOTING) (=> (and (instance ?ELECTION (ElectionFn ?AGENT)) (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?VOTER)) (attribute ?VOTER Male))) ExclusiveMaleSuffrage) |
Government.kif 1205-1212 | |
(instance ExclusiveMaleSuffrage RestrictedSuffrage) | Government.kif 1203-1203 |
appearance as argument number 2 |
(termFormat ChineseLanguage ExclusiveMaleSuffrage "独家男性选举权") | domainEnglishFormat.kif 22684-22684 | |
(termFormat ChineseTraditionalLanguage ExclusiveMaleSuffrage "獨家男性選舉權") | domainEnglishFormat.kif 22683-22683 | |
(termFormat EnglishLanguage ExclusiveMaleSuffrage "exclusive male suffrage") | domainEnglishFormat.kif 22682-22682 |
antecedent |
(=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?AREA)) (attribute ?AGENT Female) (member ?AGENT (ResidentFn ?AREA)) (instance ?ELECTION Election)) (not (capability (VotingFn ?ELECTION) agent ?AGENT))) |
Government.kif 1231-1237 | |
(=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT)) (attribute ?AGENT Male)) |
Government.kif 1214-1220 | |
(=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY) (instance ?ELECTION (ElectionFn ?POLITY)) (instance ?ACT (VotingFn ?ELECTION)) (agent ?ACT ?AGENT)) (attribute ?AGENT Male)) |
Government.kif 1222-1229 |