(=>
(and
(instance ?EVENT Election)
(agent ?EVENT ?AGENT)
(instance ?AGENT GeopoliticalArea))
(instance ?EVENT PoliticalProcess)) |
Merge.kif 14247-14252 |
If X is an instance of election, Y is an agent of X, and Y is an instance of geopolitical area, then X is an instance of political process |
(=>
(and
(instance ?EVENT Election)
(agent ?EVENT ?AGENT)
(instance ?AREA GeopoliticalArea)
(instance ?AGENT
(GovernmentFn ?AREA)))
(instance ?EVENT PoliticalProcess)) |
Merge.kif 14254-14260 |
If X is an instance of election, Y is an agent of X, Z is an instance of geopolitical area, and Y is an instance of the government of Z, then X is an instance of political process |
(=>
(and
(subProposition ExclusiveMaleSuffrage
(RegionalLawFn ?AREA))
(attribute ?AGENT Female)
(member ?AGENT
(ResidentFn ?AREA))
(instance ?ELECTION Election))
(not
(capability
(VotingFn ?ELECTION) agent ?AGENT))) |
Government.kif 1229-1235 |
If exclusive male suffrage is a sub-proposition of the regional law of X, female is an attribute of Y, Y is a member of the resident of X, and Z is an instance of election, then Y is not capable of doing the voting of Z as a agent |
(=>
(and
(chiefOfStateType ?AREA ?POSITION)
(agent ?ELECTION ?AREA)
(instance ?ELECTION Election)
(electionForPosition ?ELECTION ?POSITION)
(instance ?ELECTION PopularElection))
(governmentType ?AREA Democracy)) |
Government.kif 1550-1557 |
If X is a chief of state type of Y, Y is an agent of Z, Z is an instance of election, X is an election for position of Z, and Z is an instance of popular election, then democracy is a government type of Y |
(=>
(and
(instance ?AGENT AutonomousAgent)
(subclass
(ElectionFn ?AGENT) Election))
(or
(instance ?AGENT Organization)
(instance ?AGENT GeopoliticalArea))) |
Government.kif 1654-1660 |
If X is an instance of agent and the election of X is a subclass of election, then X is an instance of organization or X is an instance of geopolitical area |
