Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| citizen |
| appearance as argument number 1 |
|
| (instance citizen BinaryPredicate) | Merge.kif 17104-17104 | citizen is an instance of binary predicate |
| (domain citizen 1 Human) | Merge.kif 17105-17105 | The number 1 argument of citizen is an instance of human |
| (domain citizen 2 Nation) | Merge.kif 17106-17106 | The number 2 argument of citizen is an instance of nation |
| (documentation citizen EnglishLanguage "(citizen ?PERSON ?NATION) means that the Human ?PERSON is a citizen of Nation ?NATION.") | Merge.kif 17107-17108 | The number 2 argument of citizen is an instance of nation |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 |
| consequent |
|
|
| (=> (subProposition UniversalSuffrageLaw (RegionalLawFn ?POLITY)) (forall (?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)))) |
Government.kif 1077-1089 | If universal suffrage law is a sub-proposition of the regional law of X, then For all Human Y, Election Z, and RealNumbers W and V: if Y is a citizen of X, W year duration(s) is a suffrage age minimum of X, the age of Y is V year duration(s), V is greater than or equal to W, and Z is an instance of the election of X, then Y is capable of doing the voting of Z as a agent |
| (=> (and (chiefOfState ?AREA ?POSITION ?PERSON) (instance ?AREA Nation)) (citizen ?PERSON ?AREA)) |
Government.kif 1541-1545 | If X chief of state Y for Z and X is an instance of nation, then Z is a citizen of X |
| (=> (and (headOfGovernment ?AREA ?POSITION ?PERSON) (instance ?AREA Nation)) (citizen ?PERSON ?AREA)) |
Government.kif 1580-1584 | If X is the head of government Y for Z and X is an instance of nation, then Z is a citizen of X |
| (=> (and (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2) (subAttribute ?ROLE DiplomaticAgent)) (exists (?PERSON) (and (instance ?PERSON Human) (citizen ?PERSON ?COUNTRY1) (diplomaticRepresentativeInRole ?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2)))) |
Government.kif 4574-4582 | If X diplomatic representation type Y for Z and Y is a subattribute of diplomatic agent, then there exists W such that W is an instance of human, W is a citizen of X, and X is diplomatic representative in role W for Y with Z |
| (=> (and (holdsDuring ?T1 (attribute ?P StatelessPerson)) (instance ?NAT Nation)) (holdsDuring ?T1 (not (citizen ?P ?NAT)))) |
MilitaryPersons.kif 198-204 | If stateless person is an attribute of X holds during Y and Z is an instance of nation, then X is not a citizen of Z holds during Y |
|