citizen |
appearance as argument number 1 |
(documentation citizen ChineseLanguage "(citizen ?PERSON ?NATION)的意思是 Human ?PERSON 是 Nation ?NATION 公民。") | chinese_format.kif 3754-3755 | |
(documentation citizen EnglishLanguage "(citizen ?PERSON ?NATION) means that the Human ?PERSON is a citizen of Nation ?NATION.") | Merge.kif 16754-16755 | |
(domain citizen 1 Human) | Merge.kif 16752-16752 | Die Zahl 1 Argument von citizen ist ein fall von Human %n{nicht} |
(domain citizen 2 Nation) | Merge.kif 16753-16753 | Die Zahl 2 Argument von citizen ist ein fall von Nation %n{nicht} |
(instance citizen AsymmetricRelation) | Merge.kif 16751-16751 | citizen ist ein fall von AsymmetricRelation %n{nicht} |
(instance citizen BinaryPredicate) | Merge.kif 16750-16750 | citizen ist ein fall von BinaryPredicate %n{nicht} |
appearance as argument number 2 |
(format ChineseLanguage citizen "%1 %n 是 %2 的 citizen") | chinese_format.kif 553-553 | |
(format EnglishLanguage citizen "%1 is %n a citizen of %2") | english_format.kif 558-558 | |
(format FrenchLanguage citizen "%1 est %n un citoyen de %2") | french_format.kif 324-324 | |
(format ItalianLanguage citizen "%1 è uncittadino di %2") | relations-it.txt 44-44 | |
(format JapaneseLanguage citizen "%1 は %2% の citizen では %n") | japanese_format.kif 2092-2092 | |
(format PortugueseLanguage citizen "%1 e' %n um cidadao de %2") | portuguese_format.kif 276-276 | |
(format de citizen "%1 ist der buerger von %2") | relations-de.txt 724-724 | |
(format hi citizen "%1 %2 kaa naagarika hai") | relations-hindi.txt 86-86 | |
(format ro citizen "%1 %n{nu} este un citizen%t{cetãþean} al lui %2") | relations-ro.kif 345-345 | |
(format sv citizen "%1 är %n{inte} en medborgare i %2") | relations-sv.txt 358-358 | |
(format tg citizen "%1 ay ang mamamayan ng %2") | relations-cb.txt 78-78 | |
(termFormat ChineseLanguage citizen "公民") | chinese_format.kif 554-554 | |
(termFormat ChineseTraditionalLanguage citizen "公民") | domainEnglishFormat.kif 14885-14885 | |
(termFormat EnglishLanguage citizen "citizen") | domainEnglishFormat.kif 14884-14884 | |
(termFormat tg citizen "mamamayan") | relations-tg.txt 105-105 |
antecedent |
(=> (and (citizen ?AGENT ?POLITY) (subProposition UniversalSuffrageLaw (RegionalLawFn ?POLITY))) (confersRight (forall (?VOTINGAGE ?AGE ?ELECTION) (=> (and (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (exists (?VOTING) (and (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?AGENT))))) (RegionalLawFn ?POLITY) ?AGENT)) |
Government.kif 1132-1152 |
|
(=> (and (citizen ?P ?C) (not (exists (?L) (located ?P ?L)))) (located ?P ?C)) |
Military.kif 772-778 | |
(=> (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 151-167 |
|
(=> (and (subProposition CompulsorySuffrageLaw (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (exists (?VOTING) (and (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?AGENT)))) |
Government.kif 1176-1189 |
|
(=> (and (subProposition CompulsorySuffrageLaw (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY)) (confersObligation (forall (?VOTINGAGE ?AGE ?ELECTION) (=> (and (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (exists (?VOTING) (and (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?AGENT))))) (RegionalLawFn ?POLITY) ?AGENT)) |
Government.kif 1211-1231 |
|
(=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT)) (attribute ?AGENT Male)) |
Government.kif 1250-1256 |
|
(=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY) (instance ?ELECTION (ElectionFn ?POLITY)) (instance ?ACT (VotingFn ?ELECTION)) (agent ?ACT ?AGENT)) (attribute ?AGENT Male)) |
Government.kif 1258-1265 |
|
(=> (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 1120-1130 |
|
(=> (holdsDuring ?T1 (and (attribute ?P DisplacedPerson) (inhabits ?P ?RES) (located ?RES ?PLACE) (citizen ?P ?NATION))) (not (partlyLocated ?PLACE ?NATION))) |
MilitaryPersons.kif 70-78 |
|
(=> (holdsDuring ?T1 (and (attribute ?P InternallyDisplacedPerson) (inhabits ?P ?RES) (located ?RES ?PLACE) (citizen ?P ?NATION))) (partlyLocated ?PLACE ?NATION)) |
MilitaryPersons.kif 92-99 |
|
consequent |
statement |
(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 | Fuer alle ?COUNTRY, ?ELECTION,, , ?VOTING, and und ?VOTER
|
(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 | Fuer alle ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE, and und ?AGE
|
(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 | Fuer alle ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE, and und ?AGE
|