(=>
(member ?PERSON
(ResidentFn ?AREA))
(home ?PERSON ?AREA)) |
Mid-level-ontology.kif 9354-9356 |
If X is a member of the resident of Y, then the home of X is Y |
(=>
(and
(instance ?AREA GeopoliticalArea)
(equal ?CITIZENRY
(CardinalityFn
(CitizenryFn ?AREA)))
(equal ?POPULATION
(CardinalityFn
(ResidentFn ?AREA))))
(greaterThanOrEqualTo ?POPULATION ?CITIZENRY)) |
Mid-level-ontology.kif 9366-9373 |
If X is an instance of geopolitical area, equal Y and the number of instances in the citizenry of X, and equal Z and the number of instances in the resident of X, then Z is greater than or equal to Y |
(=>
(and
(subProposition ExclusiveMaleSuffrage
(RegionalLawFn ?AREA))
(attribute ?AGENT Female)
(member ?AGENT
(ResidentFn ?AREA))
(instance ?ELECTION Election))
(not
(capability
(VotingFn ?ELECTION) agent ?AGENT))) |
Government.kif 1238-1244 |
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
(instance ?UW UnconventionalWarfare)
(agent ?UW ?AGENT)
(not
(equal ?AGENT ?POPULACE))
(not
(equal ?AGENT
(GovernmentFn ?NATION)))
(patient ?UW ?POPULACE)
(or
(member ?POPULACE
(ResidentFn ?NATION))
(subCollection ?POPULACE
(ResidentFn ?NATION))))
(exists (?CONTEST)
(and
(instance ?CONTEST Contest)
(agent ?CONTEST ?POPULACE)
(agent ?CONTEST
(GovernmentFn ?NATION))))) |
MilitaryProcesses.kif 163-183 |
If All of the following hold: (1) X is an instance of unconventional warfare (2) Y is an agent of X (3) equal Y and Z (4) equal Y and the government of W (5) Z is a patient of X (6) Z is a member of the resident of W or Z is a proper sub-collection of the resident of W, then there exists V such that V is an instance of contest, Z is an agent of V, and the government of W is an agent of V |
