ElectionFn
|
|
Sigma KEE - ElectionFn
appearance as argument number 1
|
|
appearance as argument number 2
|
|
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 |
Fuer alle ?AGENT, ?VOTER,, , ?ELECTION, and und ?VOTING enthaelt Informationen ueber ExclusiveMaleSuffrage |
(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 |
Fuer alle ?COUNTRY, ?ELECTION,, , ?VOTING, and und ?VOTER - wenn ?COUNTRY ist ein fall von Nation %n{nicht} und ?ELECTION ist ein fall von ElectionFn ?COUNTRY %n{nicht} und ?VOTING ist ein fall von VotingFn ?ELECTION %n{nicht} und ?VOTING ist der agent von ?VOTER %n{nicht},
- dann ?VOTER ist der buerger von ?COUNTRY
enthaelt Informationen ueber VoterCitizenshipRequirement |
(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 |
Fuer alle ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE, and und ?AGE enthaelt Informationen ueber UniversalSuffrageLaw |
(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 |
Fuer alle ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE, and und ?AGE enthaelt Informationen ueber CompulsorySuffrageLaw |
|
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|