TreeView Knowledge Base Browser - VotingFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - VotingFn

VotingFn

appearance as argument number 1

s__documentation(s__VotingFn__m,s__EnglishLanguage,'(VotingFn ?ELECTION) denotes the class of voting events that occur as part of the Election ?ELECTION.')	Government.kif 1692-1693
s__domain(s__VotingFn__m,1,s__Election)	Government.kif 1689-1689	The number 1 argument of voting is an instance of election
s__instance(s__VotingFn__m,s__UnaryFunction) s__instance(s__UnaryFunction,s__SetOrClass)	Government.kif 1688-1688	Voting is an instance of unary function
s__rangeSubclass(s__VotingFn__m,s__Voting)	Government.kif 1690-1690	The values returned by voting are subclasses of voting

appearance as argument number 2

s__format(s__EnglishLanguage,s__VotingFn__m,'the voting of %1')	domainEnglishFormat.kif 659-659
s__termFormat(s__EnglishLanguage,s__VotingFn__m,'voting')	domainEnglishFormat.kif 10756-10756	"voting" is the printable form of voting in english language

antecedent

( ∀ [V__AGENT,V__POLITY,V__AGE,V__ACT,V__ELECTION,V__VOTINGAGE] ((s__instance(V__AGENT,s__Agent)s__and__ms__instance(V__POLITY,s__Agent)s__and__ms__instance(V__AGE,s__TimeDuration)s__and__ms__instance(V__ACT,s__Process)s__and__ms__instance(V__ELECTION,s__Election)s__and__ms__instance(V__VOTINGAGE,s__TimeDuration)) s__=>((s__instance(V__ELECTION,s__ElectionFn(V__POLITY)) s__and__ms__instance(V__ACT,s__VotingFn(V__ELECTION)) s__and__ms__agent(V__ACT,V__AGENT) s__and__ms__suffrageAgeMaximum(V__POLITY,V__VOTINGAGE) s__and__ms__age(V__AGENT,V__AGE)) s__=>s__lessThanOrEqualTo(V__AGE,V__VOTINGAGE))) )	Government.kif 1054-1061	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 time duration is a suffrage age maximum of the agent and the age of the other agent is another time duration, then the other time duration is less than or equal to the time duration
( ∀ [V__AGENT,V__POLITY,V__ACT,V__ELECTION,V__VOTINGAGE] ((s__instance(V__AGENT,s__Agent)s__and__ms__instance(V__POLITY,s__Agent)s__and__ms__instance(V__ACT,s__Process)s__and__ms__instance(V__ELECTION,s__Election)s__and__ms__instance(V__VOTINGAGE,s__TimeDuration)) s__=>((s__instance(V__ELECTION,s__ElectionFn(V__POLITY)) s__and__ms__instance(V__ACT,s__VotingFn(V__ELECTION)) s__and__ms__agent(V__ACT,V__AGENT) s__and__ms__suffrageAgeMaximum(V__POLITY,V__VOTINGAGE)) s__=>(s__exists__m[V__AGE] (s__instance(V__AGE,s__TimeDuration)s__and__m(s__age(V__AGENT,V__AGE) s__and__ms__lessThanOrEqualTo(V__AGE,V__VOTINGAGE)))))) )	Government.kif 1043-1052	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 time duration is a suffrage age maximum of the agent, then there exists another time duration such that the age of the other agent is the other time duration and the other time duration is less than or equal to the time duration
( ∀ [V__AGENT,V__POLITY,V__AGE,V__ACT,V__ELECTION,V__VOTINGAGE] ((s__instance(V__AGENT,s__Agent)s__and__ms__instance(V__POLITY,s__Agent)s__and__ms__instance(V__AGE,s__TimeDuration)s__and__ms__instance(V__ACT,s__Process)s__and__ms__instance(V__ELECTION,s__Election)s__and__ms__instance(V__VOTINGAGE,s__TimeDuration)) s__=>((s__instance(V__ELECTION,s__ElectionFn(V__POLITY)) s__and__ms__instance(V__ACT,s__VotingFn(V__ELECTION)) s__and__ms__agent(V__ACT,V__AGENT) s__and__ms__suffrageAgeMinimum(V__POLITY,V__VOTINGAGE) s__and__ms__age(V__AGENT,V__AGE)) s__=>s__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE))) )	Government.kif 990-997	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 time duration is a suffrage age minimum of the agent and the age of the other agent is another time duration, then the other time duration is greater than or equal to the time duration
( ∀ [V__AGENT,V__POLITY,V__ACT,V__ELECTION,V__VOTINGAGE] ((s__instance(V__AGENT,s__Agent)s__and__ms__instance(V__POLITY,s__Agent)s__and__ms__instance(V__ACT,s__Process)s__and__ms__instance(V__ELECTION,s__Election)s__and__ms__instance(V__VOTINGAGE,s__TimeDuration)) s__=>((s__instance(V__ELECTION,s__ElectionFn(V__POLITY)) s__and__ms__instance(V__ACT,s__VotingFn(V__ELECTION)) s__and__ms__agent(V__ACT,V__AGENT) s__and__ms__suffrageAgeMinimum(V__POLITY,V__VOTINGAGE)) s__=>(s__exists__m[V__AGE] (s__instance(V__AGE,s__TimeDuration)s__and__m(s__age(V__AGENT,V__AGE) s__and__ms__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE)))))) )	Government.kif 979-988	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 time duration is a suffrage age minimum of the agent, then there exists another time duration such that the age of the other agent is the other time duration and the other time duration is greater than or equal to the time duration
( ∀ [V__AGENT,V__POLITY,V__ELECTION] ((s__instance(V__AGENT,s__Human)s__and__ms__instance(V__POLITY,s__Nation)s__and__ms__instance(V__ELECTION,s__Election)) s__=>((s__subProposition(s__ExclusiveMaleSuffrage,s__RegionalLawFn(V__POLITY)) s__and__ms__citizen(V__AGENT,V__POLITY) s__and__ms__instance(V__ELECTION,s__ElectionFn(V__POLITY)) s__and__ms__capability(s__VotingFn(V__ELECTION) ,s__agent__m,V__AGENT)) s__=>s__attribute(V__AGENT,s__Male))) )	Government.kif 1211-1217	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__and__ms__instance(V__POLITY,s__Nation)s__and__ms__instance(V__ACT,s__Process)s__and__ms__instance(V__ELECTION,s__Election)) s__=>((s__subProposition(s__ExclusiveMaleSuffrage,s__RegionalLawFn(V__POLITY)) s__and__ms__citizen(V__AGENT,V__POLITY) s__and__ms__instance(V__ELECTION,s__ElectionFn(V__POLITY)) s__and__ms__instance(V__ACT,s__VotingFn(V__ELECTION)) s__and__ms__agent(V__ACT,V__AGENT)) s__=>s__attribute(V__AGENT,s__Male))) )	Government.kif 1219-1226	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__Object)s__and__ms__instance(V__POLITY,s__Agent)s__and__ms__instance(V__AGE,s__TimeDuration)s__and__ms__instance(V__VOTINGAGE,s__TimeDuration)s__and__ms__instance(V__ELECTION,s__Election)) s__=>((s__suffrageAgeMaximum(V__POLITY,V__VOTINGAGE) s__and__ms__instance(V__ELECTION,s__ElectionFn(V__POLITY)) s__and__ms__capability(s__VotingFn(V__ELECTION) ,s__agent__m,V__AGENT) s__and__ms__age(V__AGENT,V__AGE)) s__=>s__lessThanOrEqualTo(V__AGE,V__VOTINGAGE))) )	Government.kif 1035-1041	If a time duration 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 time duration, then the other time duration is less than or equal to the time duration
( ∀ [V__AGENT,V__POLITY,V__VOTINGAGE,V__ELECTION] ((s__instance(V__AGENT,s__Object)s__and__ms__instance(V__POLITY,s__Agent)s__and__ms__instance(V__VOTINGAGE,s__TimeDuration)s__and__ms__instance(V__ELECTION,s__Election)) s__=>((s__suffrageAgeMaximum(V__POLITY,V__VOTINGAGE) s__and__ms__instance(V__ELECTION,s__ElectionFn(V__POLITY)) s__and__ms__capability(s__VotingFn(V__ELECTION) ,s__agent__m,V__AGENT)) s__=>(s__exists__m[V__AGE] (s__instance(V__AGE,s__TimeDuration)s__and__m(s__age(V__AGENT,V__AGE) s__and__ms__lessThanOrEqualTo(V__AGE,V__VOTINGAGE)))))) )	Government.kif 1025-1033	If a time duration 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 time duration such that the age of the object is the other time duration and the other time duration is less than or equal to the time duration
( ∀ [V__AGENT,V__POLITY,V__AGE,V__VOTINGAGE,V__ELECTION] ((s__instance(V__AGENT,s__Object)s__and__ms__instance(V__POLITY,s__Agent)s__and__ms__instance(V__AGE,s__TimeDuration)s__and__ms__instance(V__VOTINGAGE,s__TimeDuration)s__and__ms__instance(V__ELECTION,s__Election)) s__=>((s__suffrageAgeMinimum(V__POLITY,V__VOTINGAGE) s__and__ms__instance(V__ELECTION,s__ElectionFn(V__POLITY)) s__and__ms__capability(s__VotingFn(V__ELECTION) ,s__agent__m,V__AGENT) s__and__ms__age(V__AGENT,V__AGE)) s__=>s__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE))) )	Government.kif 971-977	If a time duration 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 time duration, then the other time duration is greater than or equal to the time duration
( ∀ [V__AGENT,V__POLITY,V__VOTINGAGE,V__ELECTION] ((s__instance(V__AGENT,s__Object)s__and__ms__instance(V__POLITY,s__Agent)s__and__ms__instance(V__VOTINGAGE,s__TimeDuration)s__and__ms__instance(V__ELECTION,s__Election)) s__=>((s__suffrageAgeMinimum(V__POLITY,V__VOTINGAGE) s__and__ms__instance(V__ELECTION,s__ElectionFn(V__POLITY)) s__and__ms__capability(s__VotingFn(V__ELECTION) ,s__agent__m,V__AGENT)) s__=>(s__exists__m[V__AGE] (s__instance(V__AGE,s__TimeDuration)s__and__m(s__age(V__AGENT,V__AGE) s__and__ms__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE)))))) )	Government.kif 961-969	If a time duration 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 time duration such that the age of the object is the other time duration and the other time duration is greater than or equal to the time duration

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1103-1121	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 is a suffrage age minimum of the nation and the age of the human is the other entity 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
( ∀ [V__AGENT,V__POLITY,V__AGE,V__VOTINGAGE,V__ELECTION] ((s__instance(V__AGENT,s__Human)s__and__ms__instance(V__POLITY,s__Nation)s__and__ms__instance(V__AGE,s__TimeDuration)s__and__ms__instance(V__VOTINGAGE,s__TimeDuration)s__and__ms__instance(V__ELECTION,s__Election)) s__=>((s__subProposition(s__CompulsorySuffrageLaw,s__RegionalLawFn(V__POLITY)) s__and__ms__citizen(V__AGENT,V__POLITY) s__and__ms__suffrageAgeMinimum(V__POLITY,V__VOTINGAGE) s__and__ms__age(V__AGENT,V__AGE) s__and__ms__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE) s__and__ms__instance(V__ELECTION,s__ElectionFn(V__POLITY))) s__=>(s__exists__m[V__VOTING] (s__instance(V__VOTING,s__Process)s__and__m(s__instance(V__VOTING,s__VotingFn(V__ELECTION)) s__and__ms__agent(V__VOTING,V__AGENT)))))) )	Government.kif 1143-1154	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 time duration is a suffrage age minimum of the nation and the age of the human is another time duration and the other time duration is greater than or equal to the time duration 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
No TPTP formula. May not be expressible in strict first order.	Government.kif 1174-1192	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 is a suffrage age minimum of the nation and the age of the human is the other entity 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
( ∀ [V__AGENT,V__POLITY,V__ELECTION] ((s__instance(V__AGENT,s__Object)s__and__ms__instance(V__POLITY,s__GeopoliticalArea)) s__=>((s__subProposition(s__ExclusiveMaleSuffrage,s__RegionalLawFn(V__POLITY)) s__and__ms__attribute(V__AGENT,s__Female)s__and__ms__instance(V__ELECTION,s__Election)) s__=>(s__not__ms__capability(s__VotingFn(V__ELECTION) ,s__agent__m,V__AGENT)))) )	Government.kif 1228-1233	If exclusive male suffrage is a sub-proposition of the regional law of a geopolitical area and female is an attribute of an object and an election is an instance of election, then the object is not 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__Human)s__and__ms__instance(V__POLITY,s__Nation)s__and__ms__instance(V__AGE,s__TimeDuration)s__and__ms__instance(V__VOTINGAGE,s__TimeDuration)s__and__ms__instance(V__ELECTION,s__Election)) s__=>((s__subProposition(s__UniversalSuffrageLaw,s__RegionalLawFn(V__POLITY)) s__and__ms__citizen(V__AGENT,V__POLITY) s__and__ms__suffrageAgeMinimum(V__POLITY,V__VOTINGAGE) s__and__ms__age(V__AGENT,V__AGE) s__and__ms__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE) s__and__ms__instance(V__ELECTION,s__ElectionFn(V__POLITY))) s__=>s__capability(s__VotingFn(V__ELECTION) ,s__agent__m,V__AGENT))) )	Government.kif 1093-1101	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 time duration is a suffrage age minimum of the nation and the age of the human is another time duration and the other time duration is greater than or equal to the time duration 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
No TPTP formula. May not be expressible in strict first order.	Government.kif 1156-1172	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 is a suffrage age minimum of the geopolitical area and the age of the entity is the third entity 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__=>(s__subProposition(s__UniversalSuffrageLaw,s__RegionalLawFn(V__POLITY)) s__=>(s__forall__m[V__AGENT,V__ELECTION,V__VOTINGAGE,V__AGE] ((s__instance(V__AGENT,s__Human)s__and__ms__instance(V__ELECTION,s__Election)s__and__ms__instance(V__VOTINGAGE,s__TimeDuration)s__and__ms__instance(V__AGE,s__TimeDuration)) s__=>((s__citizen(V__AGENT,V__POLITY) s__and__ms__suffrageAgeMinimum(V__POLITY,V__VOTINGAGE) s__and__ms__age(V__AGENT,V__AGE) s__and__ms__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE) s__and__ms__instance(V__ELECTION,s__ElectionFn(V__POLITY))) s__=>s__capability(s__VotingFn(V__ELECTION) ,s__agent__m,V__AGENT)))))) )	Government.kif 1081-1091	If universal suffrage law is a sub-proposition of the regional law of a nation, then for all a human, an election,, , a time duration and another time duration if the human is a citizen of the nation and the time duration is a suffrage age minimum of the nation and the age of the human is the other time duration and the other time duration is greater than or equal to the time duration 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 1202-1209	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 916-924	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 1069-1078	For all ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE and ?AGE if ?AGENT is a citizen of ?POLITY and ?VOTINGAGE is a suffrage age minimum of ?POLITY and the age of ?AGENT is ?AGE 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 1129-1141	For all ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE and ?AGE if ?VOTER is a citizen of ?POLITY and ?VOTINGAGE is a suffrage age minimum of ?POLITY and the age of ?VOTER is ?AGE 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 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners