ElectionFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ElectionFn

ElectionFn

appearance as argument number 1

s__documentation(s__ElectionFn__m,s__EnglishLanguage,'"(ElectionFn ?ORG) denotes the class of Elections conducted by the GeopoliticalArea or Organization ?ORG, in which offices or issues pertaining to ?ORG are voted upon."')	Government.kif 1674-1676
s__domain(s__ElectionFn__m,n__1,s__Agent)	Government.kif 1671-1671	The number 1 argument of election is an instance of agent
s__instance(s__UnaryFunction,s__SetOrClass) s__instance(s__ElectionFn__m,s__UnaryFunction)	Government.kif 1670-1670	Election is an instance of unary function
s__rangeSubclass(s__ElectionFn__m,s__Election)	Government.kif 1672-1672	The values returned by election are subclasses of election

appearance as argument number 2

s__format(s__ChineseLanguage,s__ElectionFn__m,'"%1 的 election "')	domainEnglishFormat.kif 844-844
s__format(s__ChineseTraditionalLanguage,s__ElectionFn__m,'"%1 的 election "')	domainEnglishFormat.kif 843-843
s__format(s__EnglishLanguage,s__ElectionFn__m,'"the election of %1"')	domainEnglishFormat.kif 842-842
s__termFormat(s__ChineseLanguage,s__ElectionFn__m,'"选举"')	domainEnglishFormat.kif 21411-21411
s__termFormat(s__ChineseTraditionalLanguage,s__ElectionFn__m,'"選舉"')	domainEnglishFormat.kif 21410-21410
s__termFormat(s__EnglishLanguage,s__ElectionFn__m,'"election"')	domainEnglishFormat.kif 21409-21409

antecedent

( ! [V__AGENT,V__ELECTION] : ((s__instance(V__ELECTION,s__Process) => (((s__instance(V__AGENT,s__Agent) & s__instance(V__ELECTION,s__ElectionFn(V__AGENT))) => (s__agent(V__ELECTION,V__AGENT))))) ) )	Government.kif 1686-1690	If an agent is an instance of agent and a process is an instance of the election of the agent, then the agent is an agent of the process
( ! [V__AGENT] : (((s__instance(V__AGENT,s__Agent) & s__subclass(s__ElectionFn(V__AGENT) ,s__Election)) => ((s__instance(V__AGENT,s__Organization) \| s__instance(V__AGENT,s__GeopoliticalArea)))) ) )	Government.kif 1678-1684	If an agent is an instance of agent and the election of the agent is a subclass of election, then the agent is an instance of organization or the agent is an instance of geopolitical area
( ! [V__AGENT,V__POLITY,V__AGE,V__ACT,V__ELECTION,V__VOTINGAGE] : (((s__instance(V__AGENT,s__Agent) & s__instance(V__POLITY,s__Agent) & s__instance(V__AGE,s__RealNumber) & s__instance(V__ACT,s__Process) & s__instance(V__ELECTION,s__Election) & s__instance(V__VOTINGAGE,s__RealNumber)) => (((s__instance(V__ELECTION,s__ElectionFn(V__POLITY)) & s__instance(V__ACT,s__VotingFn(V__ELECTION)) & s__agent(V__ACT,V__AGENT) & s__suffrageAgeMaximum(V__POLITY,s__MeasureFn(V__VOTINGAGE,s__YearDuration)) & s__age(V__AGENT,s__MeasureFn(V__AGE,s__YearDuration))) => (s__lessThanOrEqualTo(V__AGE,V__VOTINGAGE))))) ) )	Government.kif 1061-1070	If an election is an instance of the election of an agent and a process is an instance of the voting of the election and another agent is an agent of the process and a real number year duration(s) is a suffrage age maximum of the agent and the age of the other agent is another real number year duration(s), then the other real number is less than or equal to the real number
( ! [V__AGENT,V__POLITY,V__ACT,V__ELECTION,V__VOTINGAGE] : (((s__instance(V__AGENT,s__Agent) & s__instance(V__POLITY,s__Agent) & s__instance(V__ACT,s__Process) & s__instance(V__ELECTION,s__Election) & s__instance(V__VOTINGAGE,s__RealNumber)) => (((s__instance(V__ELECTION,s__ElectionFn(V__POLITY)) & s__instance(V__ACT,s__VotingFn(V__ELECTION)) & s__agent(V__ACT,V__AGENT) & s__suffrageAgeMaximum(V__POLITY,s__MeasureFn(V__VOTINGAGE,s__YearDuration))) => (( ? [V__AGE] : ((s__instance(V__AGE,s__RealNumber) & (s__age(V__AGENT,s__MeasureFn(V__AGE,s__YearDuration)) & s__lessThanOrEqualTo(V__AGE,V__VOTINGAGE))))))))) ) )	Government.kif 1048-1059	If an election is an instance of the election of an agent and a process is an instance of the voting of the election and another agent is an agent of the process and a real number year duration(s) is a suffrage age maximum of the agent, then there exists another real number such that the age of the other agent is the other real number year duration(s) and the other real number is less than or equal to the real number
( ! [V__AGENT,V__POLITY,V__AGE,V__ACT,V__ELECTION,V__VOTINGAGE] : (((s__instance(V__AGENT,s__Agent) & s__instance(V__POLITY,s__Agent) & s__instance(V__AGE,s__RealNumber) & s__instance(V__ACT,s__Process) & s__instance(V__ELECTION,s__Election) & s__instance(V__VOTINGAGE,s__RealNumber)) => (((s__instance(V__ELECTION,s__ElectionFn(V__POLITY)) & s__instance(V__ACT,s__VotingFn(V__ELECTION)) & s__agent(V__ACT,V__AGENT) & s__suffrageAgeMinimum(V__POLITY,s__MeasureFn(V__VOTINGAGE,s__YearDuration)) & s__age(V__AGENT,s__MeasureFn(V__AGE,s__YearDuration))) => (s__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE))))) ) )	Government.kif 989-998	If an election is an instance of the election of an agent and a process is an instance of the voting of the election and another agent is an agent of the process and a real number year duration(s) is a suffrage age minimum of the agent and the age of the other agent is another real number year duration(s), then the other real number is greater than or equal to the real number
( ! [V__AGENT,V__POLITY,V__ACT,V__ELECTION,V__VOTINGAGE] : (((s__instance(V__AGENT,s__Agent) & s__instance(V__POLITY,s__Agent) & s__instance(V__ACT,s__Process) & s__instance(V__ELECTION,s__Election) & s__instance(V__VOTINGAGE,s__RealNumber)) => (((s__instance(V__ELECTION,s__ElectionFn(V__POLITY)) & s__instance(V__ACT,s__VotingFn(V__ELECTION)) & s__agent(V__ACT,V__AGENT) & s__suffrageAgeMinimum(V__POLITY,s__MeasureFn(V__VOTINGAGE,s__YearDuration))) => (( ? [V__AGE] : ((s__instance(V__AGE,s__RealNumber) & (s__age(V__AGENT,s__MeasureFn(V__AGE,s__YearDuration)) & s__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE))))))))) ) )	Government.kif 976-987	If an election is an instance of the election of an agent and a process is an instance of the voting of the election and another agent is an agent of the process and a real number year duration(s) is a suffrage age minimum of the agent, then there exists another real number such that the age of the other agent is the other real number year duration(s) and the other real number is greater than or equal to the real number
( ! [V__AGENT,V__POLITY,V__AGE,V__VOTINGAGE,V__ELECTION] : (((s__instance(V__AGENT,s__Human) & s__instance(V__POLITY,s__Nation) & s__instance(V__AGE,s__RealNumber) & s__instance(V__VOTINGAGE,s__RealNumber) & s__instance(V__ELECTION,s__Election)) => (((s__subProposition(s__CompulsorySuffrageLaw,s__RegionalLawFn(V__POLITY)) & s__citizen(V__AGENT,V__POLITY) & s__suffrageAgeMinimum(V__POLITY,s__MeasureFn(V__VOTINGAGE,s__YearDuration)) & s__age(V__AGENT,s__MeasureFn(V__AGE,s__YearDuration)) & s__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE) & s__instance(V__ELECTION,s__ElectionFn(V__POLITY))) => (( ? [V__VOTING] : ((s__instance(V__VOTING,s__Process) & (s__instance(V__VOTING,s__VotingFn(V__ELECTION)) & s__agent(V__VOTING,V__AGENT))))))))) ) )	Government.kif 1162-1175	If compulsory suffrage law is a sub-proposition of the regional law of a nation and a human is a citizen of the nation and a real number year duration(s) is a suffrage age minimum of the nation and the age of the human is another real number year duration(s) and the other real number is greater than or equal to the real number and an election is an instance of the election of the nation, then there exists a process such that the process is an instance of the voting of the election and the human is an agent of the process
( ! [V__AGENT,V__POLITY,V__ELECTION] : (((s__instance(V__AGENT,s__Human) & s__instance(V__POLITY,s__Nation) & s__instance(V__ELECTION,s__Election)) => (((s__subProposition(s__ExclusiveMaleSuffrage,s__RegionalLawFn(V__POLITY)) & s__citizen(V__AGENT,V__POLITY) & s__instance(V__ELECTION,s__ElectionFn(V__POLITY)) & s__capability(s__VotingFn(V__ELECTION) ,s__agent__m,V__AGENT)) => (s__attribute(V__AGENT,s__Male))))) ) )	Government.kif 1236-1242	If exclusive male suffrage is a sub-proposition of the regional law of a nation and a human is a citizen of the nation and an election is an instance of the election of the nation and the human is capable of doing the voting of the election as a agent, then male is an attribute of the human
( ! [V__AGENT,V__POLITY,V__ACT,V__ELECTION] : (((s__instance(V__AGENT,s__Human) & s__instance(V__POLITY,s__Nation) & s__instance(V__ACT,s__Process) & s__instance(V__ELECTION,s__Election)) => (((s__subProposition(s__ExclusiveMaleSuffrage,s__RegionalLawFn(V__POLITY)) & s__citizen(V__AGENT,V__POLITY) & s__instance(V__ELECTION,s__ElectionFn(V__POLITY)) & s__instance(V__ACT,s__VotingFn(V__ELECTION)) & s__agent(V__ACT,V__AGENT)) => (s__attribute(V__AGENT,s__Male))))) ) )	Government.kif 1244-1251	If exclusive male suffrage is a sub-proposition of the regional law of a nation and a human is a citizen of the nation and an election is an instance of the election of the nation and a process is an instance of the voting of the election and the human is an agent of the process, then male is an attribute of the human
( ! [V__AGENT,V__POLITY,V__AGE,V__VOTINGAGE,V__ELECTION] : (((s__instance(V__AGENT,s__Human) & s__instance(V__POLITY,s__Nation) & s__instance(V__AGE,s__RealNumber) & s__instance(V__VOTINGAGE,s__RealNumber) & s__instance(V__ELECTION,s__Election)) => (((s__subProposition(s__UniversalSuffrageLaw,s__RegionalLawFn(V__POLITY)) & s__citizen(V__AGENT,V__POLITY) & s__suffrageAgeMinimum(V__POLITY,s__MeasureFn(V__VOTINGAGE,s__YearDuration)) & s__age(V__AGENT,s__MeasureFn(V__AGE,s__YearDuration)) & s__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE) & s__instance(V__ELECTION,s__ElectionFn(V__POLITY))) => (s__capability(s__VotingFn(V__ELECTION) ,s__agent__m,V__AGENT))))) ) )	Government.kif 1106-1116	If universal suffrage law is a sub-proposition of the regional law of a nation and a human is a citizen of the nation and a real number year duration(s) is a suffrage age minimum of the nation and the age of the human is another real number year duration(s) and the other real number is greater than or equal to the real number and an election is an instance of the election of the nation, then the human is capable of doing the voting of the election as a agent
( ! [V__AGENT,V__POLITY,V__AGE,V__VOTINGAGE,V__ELECTION] : (((s__instance(V__AGENT,s__Object) & s__instance(V__POLITY,s__Agent) & s__instance(V__AGE,s__RealNumber) & s__instance(V__VOTINGAGE,s__RealNumber) & s__instance(V__ELECTION,s__Election)) => (((s__suffrageAgeMaximum(V__POLITY,s__MeasureFn(V__VOTINGAGE,s__YearDuration)) & s__instance(V__ELECTION,s__ElectionFn(V__POLITY)) & s__capability(s__VotingFn(V__ELECTION) ,s__agent__m,V__AGENT) & s__age(V__AGENT,s__MeasureFn(V__AGE,s__YearDuration))) => (s__lessThanOrEqualTo(V__AGE,V__VOTINGAGE))))) ) )	Government.kif 1038-1046	If a real number year duration(s) is a suffrage age maximum of an agent and an election is an instance of the election of the agent and an object is capable of doing the voting of the election as a agent and the age of the object is another real number year duration(s), then the other real number is less than or equal to the real number
( ! [V__AGENT,V__POLITY,V__VOTINGAGE,V__ELECTION] : (((s__instance(V__AGENT,s__Object) & s__instance(V__POLITY,s__Agent) & s__instance(V__VOTINGAGE,s__RealNumber) & s__instance(V__ELECTION,s__Election)) => (((s__suffrageAgeMaximum(V__POLITY,s__MeasureFn(V__VOTINGAGE,s__YearDuration)) & s__instance(V__ELECTION,s__ElectionFn(V__POLITY)) & s__capability(s__VotingFn(V__ELECTION) ,s__agent__m,V__AGENT)) => (( ? [V__AGE] : ((s__instance(V__AGE,s__RealNumber) & (s__age(V__AGENT,s__MeasureFn(V__AGE,s__YearDuration)) & s__lessThanOrEqualTo(V__AGE,V__VOTINGAGE))))))))) ) )	Government.kif 1026-1036	If a real number year duration(s) is a suffrage age maximum of an agent and an election is an instance of the election of the agent and an object is capable of doing the voting of the election as a agent, then there exists another real number such that the age of the object is the other real number year duration(s) and the other real number is less than or equal to the real number
( ! [V__AGENT,V__POLITY,V__AGE,V__VOTINGAGE,V__ELECTION] : (((s__instance(V__AGENT,s__Object) & s__instance(V__POLITY,s__Agent) & s__instance(V__AGE,s__RealNumber) & s__instance(V__VOTINGAGE,s__RealNumber) & s__instance(V__ELECTION,s__Election)) => (((s__suffrageAgeMinimum(V__POLITY,s__MeasureFn(V__VOTINGAGE,s__YearDuration)) & s__instance(V__ELECTION,s__ElectionFn(V__POLITY)) & s__capability(s__VotingFn(V__ELECTION) ,s__agent__m,V__AGENT) & s__age(V__AGENT,s__MeasureFn(V__AGE,s__YearDuration))) => (s__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE))))) ) )	Government.kif 966-974	If a real number year duration(s) is a suffrage age minimum of an agent and an election is an instance of the election of the agent and an object is capable of doing the voting of the election as a agent and the age of the object is another real number year duration(s), then the other real number is greater than or equal to the real number
( ! [V__AGENT,V__POLITY,V__VOTINGAGE,V__ELECTION] : (((s__instance(V__AGENT,s__Object) & s__instance(V__POLITY,s__Agent) & s__instance(V__VOTINGAGE,s__RealNumber) & s__instance(V__ELECTION,s__Election)) => (((s__suffrageAgeMinimum(V__POLITY,s__MeasureFn(V__VOTINGAGE,s__YearDuration)) & s__instance(V__ELECTION,s__ElectionFn(V__POLITY)) & s__capability(s__VotingFn(V__ELECTION) ,s__agent__m,V__AGENT)) => (( ? [V__AGE] : ((s__instance(V__AGE,s__RealNumber) & (s__age(V__AGENT,s__MeasureFn(V__AGE,s__YearDuration)) & s__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE))))))))) ) )	Government.kif 954-964	If a real number year duration(s) is a suffrage age minimum of an agent and an election is an instance of the election of the agent and an object is capable of doing the voting of the election as a agent, then there exists another real number such that the age of the object is the other real number year duration(s) and the other real number is greater than or equal to the real number

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1118-1138	If a human is a citizen of a nation and universal suffrage law is a sub-proposition of the regional law of the nation, then the regional law of the nation allows the human to perform task of the type for all an entity, another entity and a third entity if the human is a citizen of the nation and the entity year duration(s) is a suffrage age minimum of the nation and the age of the human is the other entity year duration(s) and the other entity is greater than or equal to the entity and the third entity is an instance of the election of the nation, then there exists a fourth entity such that the fourth entity is an instance of the voting of the third entity and the human is an agent of the fourth entity
No TPTP formula. May not be expressible in strict first order.	Government.kif 1197-1217	If compulsory suffrage law is a sub-proposition of the regional law of a nation and a human is a citizen of the nation, then the regional law of the nation obligates the human to perform task of the type for all an entity, another entity and a third entity if the human is a citizen of the nation and the entity year duration(s) is a suffrage age minimum of the nation and the age of the human is the other entity year duration(s) and the other entity is greater than or equal to the entity and the third entity is an instance of the election of the nation, then there exists a fourth entity such that the fourth entity is an instance of the voting of the third entity and the human is an agent of the fourth entity
No TPTP formula. May not be expressible in strict first order.	Government.kif 1177-1195	If compulsory suffrage law is a sub-proposition of the regional law of a geopolitical area, then the regional law of the geopolitical area obligates the geopolitical area to perform task of the type for all an entity, another entity,, , a third entity and a fourth entity if the entity is a citizen of the geopolitical area and the other entity year duration(s) is a suffrage age minimum of the geopolitical area and the age of the entity is the third entity year duration(s) and the third entity is greater than or equal to the other entity and the fourth entity is an instance of the election of the geopolitical area, then there exists a fifth entity such that the fifth entity is an instance of the voting of the fourth entity and the entity is an agent of the fifth entity
( ! [V__POLITY] : ((s__instance(V__POLITY,s__Nation) => ((s__subProposition(s__UniversalSuffrageLaw,s__RegionalLawFn(V__POLITY)) => (( ! [V__AGENT, V__ELECTION, V__VOTINGAGE, V__AGE] : (((s__instance(V__AGENT,s__Human) & s__instance(V__ELECTION,s__Election) & s__instance(V__VOTINGAGE,s__RealNumber) & s__instance(V__AGE,s__RealNumber)) => (((s__citizen(V__AGENT,V__POLITY) & s__suffrageAgeMinimum(V__POLITY,s__MeasureFn(V__VOTINGAGE,s__YearDuration)) & s__age(V__AGENT,s__MeasureFn(V__AGE,s__YearDuration)) & s__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE) & s__instance(V__ELECTION,s__ElectionFn(V__POLITY))) => (s__capability(s__VotingFn(V__ELECTION) ,s__agent__m,V__AGENT))))))))))) ) )	Government.kif 1092-1104	If universal suffrage law is a sub-proposition of the regional law of a nation, then for all a human, an election,, , a real number and another real number if the human is a citizen of the nation and the real number year duration(s) is a suffrage age minimum of the nation and the age of the human is the other real number year duration(s) and the other real number is greater than or equal to the real number and the election is an instance of the election of the nation, then the human is capable of doing the voting of the election as a agent

statement

No TPTP formula. May not be expressible in strict first order.	Government.kif 1227-1234	For all ?AGENT, ?VOTER,, , ?ELECTION and ?VOTING if ?ELECTION is an instance of the election of ?AGENT and ?VOTING is an instance of the voting of ?ELECTION and ?VOTER is an agent of ?VOTING, then male is an attribute of ?VOTER contains information exclusive male suffrage
No TPTP formula. May not be expressible in strict first order.	Government.kif 909-917	For all ?COUNTRY, ?ELECTION,, , ?VOTING and ?VOTER if ?COUNTRY is an instance of nation and ?ELECTION is an instance of the election of ?COUNTRY and ?VOTING is an instance of the voting of ?ELECTION and ?VOTER is an agent of ?VOTING, then ?VOTER is a citizen of ?COUNTRY contains information voter citizenship requirement
No TPTP formula. May not be expressible in strict first order.	Government.kif 1078-1089	For all ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE and ?AGE if ?AGENT is a citizen of ?POLITY and ?VOTINGAGE year duration(s) is a suffrage age minimum of ?POLITY and the age of ?AGENT is ?AGE year duration(s) and ?AGE is greater than or equal to ?VOTINGAGE and ?ELECTION is an instance of the election of ?POLITY, then ?AGENT is capable of doing the voting of ?ELECTION as a agent contains information universal suffrage law
No TPTP formula. May not be expressible in strict first order.	Government.kif 1146-1160	For all ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE and ?AGE if ?VOTER is a citizen of ?POLITY and ?VOTINGAGE year duration(s) is a suffrage age minimum of ?POLITY and the age of ?VOTER is ?AGE year duration(s) and ?AGE is greater than or equal to ?VOTINGAGE and ?ELECTION is an instance of the election of ?POLITY, then there exists ?VOTING such that ?VOTING is an instance of the voting of ?ELECTION and ?VOTER is an agent of ?VOTING contains information compulsory suffrage law

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

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