AllOtherCutAndSewApparelManufacturing
|
|
Sigma KEE - VotingFn
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 |
For all ?AGENT, ?VOTER,, , ?ELECTION and ?VOTING contains information exclusive male suffrage |
(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 |
For all ?COUNTRY, ?ELECTION,, , ?VOTING and ?VOTER contains information voter citizenship requirement |
(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 |
For all ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE and ?AGE contains information universal suffrage law |
(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 |
For all ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE and ?AGE contains information compulsory suffrage law |
|
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|