(=>
(and
(subProposition UniversalSuffrageLaw
(RegionalLawFn ?POLITY))
(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)) |
Government.kif 1091-1101 |
If All of the following hold: (1) universal suffrage law is a sub-proposition of the regional law of X (2) Y is a citizen of X (3) Z year duration(s) is a suffrage age minimum of X (4) the age of Y is W year duration(s) (5) W is greater than or equal to Z (6) V is an instance of the election of X, then Y is capable of doing the voting of V as a agent |
(=>
(and
(subProposition ExclusiveMaleSuffrage
(RegionalLawFn ?POLITY))
(citizen ?AGENT ?POLITY)
(instance ?ELECTION
(ElectionFn ?POLITY))
(capability
(VotingFn ?ELECTION) agent ?AGENT))
(attribute ?AGENT Male)) |
Government.kif 1221-1227 |
If exclusive male suffrage is a sub-proposition of the regional law of X, Y is a citizen of X, Z is an instance of the election of X, and Y is capable of doing the voting of Z as a agent, then male is an attribute of Y |
(=>
(and
(subProposition ExclusiveMaleSuffrage
(RegionalLawFn ?POLITY))
(citizen ?AGENT ?POLITY)
(instance ?ELECTION
(ElectionFn ?POLITY))
(instance ?ACT
(VotingFn ?ELECTION))
(agent ?ACT ?AGENT))
(attribute ?AGENT Male)) |
Government.kif 1229-1236 |
If exclusive male suffrage is a sub-proposition of the regional law of X, Y is a citizen of X, Z is an instance of the election of X, W is an instance of the voting of Z, and Y is an agent of W, then male is an attribute of Y |
(=>
(holdsDuring ?T1
(and
(attribute ?P DisplacedPerson)
(inhabits ?P ?RES)
(located ?RES ?PLACE)
(citizen ?P ?NATION)))
(not
(partlyLocated ?PLACE ?NATION))) |
MilitaryPersons.kif 70-78 |
If displaced person is an attribute of X, X lives in Y, Y is located at Z, and X is a citizen of W holds during V, then Z is not partly located in W |
(=>
(holdsDuring ?T1
(and
(attribute ?P InternallyDisplacedPerson)
(inhabits ?P ?RES)
(located ?RES ?PLACE)
(citizen ?P ?NATION)))
(partlyLocated ?PLACE ?NATION)) |
MilitaryPersons.kif 92-99 |
If internally displaced person is an attribute of X, X lives in Y, Y is located at Z, and X is a citizen of W holds during V, then Z is partly located in W |
(=>
(and
(holdsDuring ?T1
(and
(attribute ?P Expellee)
(citizen ?P ?HOME_NATION)))
(instance ?T1 TimeInterval))
(exists (?TRANS ?NATION)
(and
(instance ?NATION Nation)
(not
(equal ?NATION ?HOME_NATION))
(instance ?TRANS Translocation)
(origin ?TRANS ?NATION)
(patient ?TRANS ?P)
(destination ?TRANS ?HOME_NATION)
(temporalPart ?T1
(WhenFn ?TRANS))))) |
MilitaryPersons.kif 154-170 |
If expellee is an attribute of X and X is a citizen of ?HOME_NATION holds during Z and Z is an instance of timeframe, then All of the following hold: (1) there exist W (2) V such that V is an instance of nation (3) equal V (4) ?HOME_NATION (5) W is an instance of translocation (6) W originates at V (7) X is a patient of W (8) W ends up at ?HOME_NATION (9) Z is a part of the time of existence of W |
citizen