TreeView Knowledge Base Browser - citizen

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - citizen

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 16472-16473
(domain citizen 1 Human)	Merge.kif 16470-16470	domain citizen, 1 and Human
(domain citizen 2 Nation)	Merge.kif 16471-16471	domain citizen, 2 and Nation
(instance citizen AsymmetricRelation)	Merge.kif 16469-16469	instance citizen and AsymmetricRelation
(instance citizen BinaryPredicate)	Merge.kif 16468-16468	instance citizen and BinaryPredicate

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
(termFormat ChineseLanguage citizen "公民")	chinese_format.kif 554-554
(termFormat ChineseTraditionalLanguage citizen "公民")	domainEnglishFormat.kif 14888-14888
(termFormat EnglishLanguage citizen "citizen")	domainEnglishFormat.kif 14887-14887

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 1117-1137	citizen Human and Nation subProposition UniversalSuffrageLaw and RegionalLawFn Nation confersRight entity entity and entity citizen Human and Nation suffrageAgeMinimum Nation and MeasureFn entity and YearDuration age Human and MeasureFn entity and YearDuration greaterThanOrEqualTo entity and entity instance entity and ElectionFn Nation entity instance entity and VotingFn entity agent entity and Human , RegionalLawFn Nation and Human
(=> (and (citizen ?P ?C) (not (exists (?L) (located ?P ?L)))) (located ?P ?C))	Military.kif 772-778	citizen Human and Nation Object located Human and Object located Human and Nation
(=> (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	holdsDuring TimePosition and attribute Entity and Expellee citizen Entity and entity-NATION instance TimePosition and TimeInterval Process Object instance Object and Nation equal Object and entity-NATION instance Process and Translocation origin Process and Object patient Process and Entity destination Process and entity-NATION temporalPart TimePosition and WhenFn Process
(=> (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 1161-1174	subProposition CompulsorySuffrageLaw and RegionalLawFn Nation citizen Human and Nation suffrageAgeMinimum Nation and MeasureFn RealNumber and YearDuration age Human and MeasureFn RealNumber and YearDuration greaterThanOrEqualTo RealNumber and RealNumber instance Election and ElectionFn Nation Process instance Process and VotingFn Election agent Process and Human
(=> (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 1196-1216	subProposition CompulsorySuffrageLaw and RegionalLawFn Nation citizen Human and Nation confersObligation entity entity and entity citizen Human and Nation suffrageAgeMinimum Nation and MeasureFn entity and YearDuration age Human and MeasureFn entity and YearDuration greaterThanOrEqualTo entity and entity instance entity and ElectionFn Nation entity instance entity and VotingFn entity agent entity and Human , RegionalLawFn Nation and Human
(=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT)) (attribute ?AGENT Male))	Government.kif 1235-1241	subProposition ExclusiveMaleSuffrage and RegionalLawFn Nation citizen Human and Nation instance Election and ElectionFn Nation capability VotingFn Election, agent and Human attribute Human and Male
(=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY) (instance ?ELECTION (ElectionFn ?POLITY)) (instance ?ACT (VotingFn ?ELECTION)) (agent ?ACT ?AGENT)) (attribute ?AGENT Male))	Government.kif 1243-1250	subProposition ExclusiveMaleSuffrage and RegionalLawFn Nation citizen Human and Nation instance Election and ElectionFn Nation instance Process and VotingFn Election agent Process and Human attribute Human and Male
(=> (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 1105-1115	subProposition UniversalSuffrageLaw and RegionalLawFn Nation citizen Human and Nation suffrageAgeMinimum Nation and MeasureFn RealNumber and YearDuration age Human and MeasureFn RealNumber and YearDuration greaterThanOrEqualTo RealNumber and RealNumber instance Election and ElectionFn Nation capability VotingFn Election, agent and Human
(=> (holdsDuring ?T1 (and (attribute ?P DisplacedPerson) (inhabits ?P ?RES) (located ?RES ?PLACE) (citizen ?P ?NATION))) (not (partlyLocated ?PLACE ?NATION)))	MilitaryPersons.kif 70-78	holdsDuring TimePosition and attribute entity and DisplacedPerson inhabits entity and entity located entity and entityLACE citizen entity and Object partlyLocated entityLACE and Object
(=> (holdsDuring ?T1 (and (attribute ?P InternallyDisplacedPerson) (inhabits ?P ?RES) (located ?RES ?PLACE) (citizen ?P ?NATION))) (partlyLocated ?PLACE ?NATION))	MilitaryPersons.kif 92-99	holdsDuring TimePosition and attribute entity and InternallyDisplacedPerson inhabits entity and entity located entity and entityLACE citizen entity and Object partlyLocated entityLACE and Object

consequent

(=> (and (chiefOfState ?AREA ?POSITION ?PERSON) (instance ?AREA Nation)) (citizen ?PERSON ?AREA))	Government.kif 1555-1559	chiefOfState Nation, Position and Human instance Nation and Nation citizen Human and Nation
(=> (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 1117-1137	citizen Human and Nation subProposition UniversalSuffrageLaw and RegionalLawFn Nation confersRight entity entity and entity citizen Human and Nation suffrageAgeMinimum Nation and MeasureFn entity and YearDuration age Human and MeasureFn entity and YearDuration greaterThanOrEqualTo entity and entity instance entity and ElectionFn Nation entity instance entity and VotingFn entity agent entity and Human , RegionalLawFn Nation and Human
(=> (and (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2) (subAttribute ?ROLE DiplomaticAgent)) (exists (?PERSON) (and (instance ?PERSON Human) (citizen ?PERSON ?COUNTRY1) (diplomaticRepresentativeInRole ?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2))))	Government.kif 4562-4570	diplomaticRepresentationType Nation, Position and Agent subAttribute Position and DiplomaticAgent Human instance Human and Human citizen Human and Nation diplomaticRepresentativeInRole Nation, Human, Position and Agent
(=> (and (headOfGovernment ?AREA ?POSITION ?PERSON) (instance ?AREA Nation)) (citizen ?PERSON ?AREA))	Government.kif 1594-1598	headOfGovernment Nation, Position and Human instance Nation and Nation citizen Human and Nation
(=> (and (holdsDuring ?T1 (attribute ?P StatelessPerson)) (instance ?NAT Nation)) (holdsDuring ?T1 (not (citizen ?P ?NAT))))	MilitaryPersons.kif 195-201	holdsDuring TimePosition and attribute entity and StatelessPerson instance Entity and Nation holdsDuring TimePosition and citizen entity and Entity
(=> (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 1196-1216	subProposition CompulsorySuffrageLaw and RegionalLawFn Nation citizen Human and Nation confersObligation entity entity and entity citizen Human and Nation suffrageAgeMinimum Nation and MeasureFn entity and YearDuration age Human and MeasureFn entity and YearDuration greaterThanOrEqualTo entity and entity instance entity and ElectionFn Nation entity instance entity and VotingFn entity agent entity and Human , RegionalLawFn Nation and Human
(=> (subProposition CompulsorySuffrageLaw (RegionalLawFn ?POLITY)) (confersObligation (forall (?AGENT ?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) ?POLITY))	Government.kif 1176-1194	subProposition CompulsorySuffrageLaw and RegionalLawFn GeopoliticalArea confersObligation entity entity, entity and entity citizen entity and GeopoliticalArea suffrageAgeMinimum GeopoliticalArea and MeasureFn entity and YearDuration age entity and MeasureFn entity and YearDuration greaterThanOrEqualTo entity and entity instance entity and ElectionFn GeopoliticalArea entity instance entity and VotingFn entity agent entity and entity , RegionalLawFn GeopoliticalArea and GeopoliticalArea
(=> (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 1091-1103	subProposition UniversalSuffrageLaw and RegionalLawFn Nation Human Election, RealNumber and RealNumber citizen Human and Nation suffrageAgeMinimum Nation and MeasureFn RealNumber and YearDuration age Human and MeasureFn RealNumber and YearDuration greaterThanOrEqualTo RealNumber and RealNumber instance Election and ElectionFn Nation capability VotingFn Election, agent and Human

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 908-916	containsInformation ?COUNTRY ?ELECTION, ?VOTING and ?VOTER instance ?COUNTRY and Nation instance ?ELECTION and ElectionFn ?COUNTRY instance ?VOTING and VotingFn ?ELECTION agent ?VOTING and ?VOTER citizen ?VOTER and ?COUNTRY and VoterCitizenshipRequirement
(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 1077-1088	containsInformation ?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE citizen ?AGENT and ?POLITY suffrageAgeMinimum ?POLITY and MeasureFn ?VOTINGAGE and YearDuration age ?AGENT and MeasureFn ?AGE and YearDuration greaterThanOrEqualTo ?AGE and ?VOTINGAGE instance ?ELECTION and ElectionFn ?POLITY capability VotingFn ?ELECTION, agent and ?AGENT and UniversalSuffrageLaw
(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 1145-1159	containsInformation ?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE citizen ?VOTER and ?POLITY suffrageAgeMinimum ?POLITY and MeasureFn ?VOTINGAGE and YearDuration age ?VOTER and MeasureFn ?AGE and YearDuration greaterThanOrEqualTo ?AGE and ?VOTINGAGE instance ?ELECTION and ElectionFn ?POLITY ?VOTING instance ?VOTING and VotingFn ?ELECTION agent ?VOTING and ?VOTER and CompulsorySuffrageLaw

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners