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

(documentation ElectionFn 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 1685-1687
(domain ElectionFn 1 Agent)	Government.kif 1682-1682	domain ElectionFn, 1 and Agent
(instance ElectionFn UnaryFunction)	Government.kif 1681-1681	instance ElectionFn and UnaryFunction
(rangeSubclass ElectionFn Election)	Government.kif 1683-1683	rangeSubclass ElectionFn and Election

appearance as argument number 2

(format ChineseLanguage ElectionFn "%1 的 election ")	domainEnglishFormat.kif 844-844
(format ChineseTraditionalLanguage ElectionFn "%1 的 election ")	domainEnglishFormat.kif 843-843
(format EnglishLanguage ElectionFn "the election of %1")	domainEnglishFormat.kif 842-842
(termFormat ChineseLanguage ElectionFn "选举")	domainEnglishFormat.kif 21411-21411
(termFormat ChineseTraditionalLanguage ElectionFn "選舉")	domainEnglishFormat.kif 21410-21410
(termFormat EnglishLanguage ElectionFn "election")	domainEnglishFormat.kif 21409-21409

antecedent

(=> (and (instance ?AGENT Agent) (instance ?ELECTION (ElectionFn ?AGENT))) (agent ?ELECTION ?AGENT))	Government.kif 1697-1701	instance Agent and Agent instance Process and ElectionFn Agent agent Process and Agent
(=> (and (instance ?AGENT Agent) (subclass (ElectionFn ?AGENT) Election)) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea)))	Government.kif 1689-1695	instance Agent and Agent subclass ElectionFn Agent and Election instance Agent and Organization instance Agent and GeopoliticalArea
(=> (and (instance ?ELECTION (ElectionFn ?POLITY)) (instance ?ACT (VotingFn ?ELECTION)) (agent ?ACT ?AGENT) (suffrageAgeMaximum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration))) (lessThanOrEqualTo ?AGE ?VOTINGAGE))	Government.kif 1072-1081	instance Election and ElectionFn Agent instance Process and VotingFn Election agent Process and Agent suffrageAgeMaximum Agent and MeasureFn RealNumber and YearDuration age Agent and MeasureFn RealNumber and YearDuration lessThanOrEqualTo RealNumber and RealNumber
(=> (and (instance ?ELECTION (ElectionFn ?POLITY)) (instance ?ACT (VotingFn ?ELECTION)) (agent ?ACT ?AGENT) (suffrageAgeMaximum ?POLITY (MeasureFn ?VOTINGAGE YearDuration))) (exists (?AGE) (and (age ?AGENT (MeasureFn ?AGE YearDuration)) (lessThanOrEqualTo ?AGE ?VOTINGAGE))))	Government.kif 1059-1070	instance Election and ElectionFn Agent instance Process and VotingFn Election agent Process and Agent suffrageAgeMaximum Agent and MeasureFn RealNumber and YearDuration RealNumber age Agent and MeasureFn RealNumber and YearDuration lessThanOrEqualTo RealNumber and RealNumber
(=> (and (instance ?ELECTION (ElectionFn ?POLITY)) (instance ?ACT (VotingFn ?ELECTION)) (agent ?ACT ?AGENT) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration))) (greaterThanOrEqualTo ?AGE ?VOTINGAGE))	Government.kif 1000-1009	instance Election and ElectionFn Agent instance Process and VotingFn Election agent Process and Agent suffrageAgeMinimum Agent and MeasureFn RealNumber and YearDuration age Agent and MeasureFn RealNumber and YearDuration greaterThanOrEqualTo RealNumber and RealNumber
(=> (and (instance ?ELECTION (ElectionFn ?POLITY)) (instance ?ACT (VotingFn ?ELECTION)) (agent ?ACT ?AGENT) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration))) (exists (?AGE) (and (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE))))	Government.kif 987-998	instance Election and ElectionFn Agent instance Process and VotingFn Election agent Process and Agent suffrageAgeMinimum Agent and MeasureFn RealNumber and YearDuration RealNumber age Agent and MeasureFn RealNumber and YearDuration greaterThanOrEqualTo RealNumber and RealNumber
(=> (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 1173-1186	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 ExclusiveMaleSuffrage (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT)) (attribute ?AGENT Male))	Government.kif 1247-1253	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 1255-1262	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 1117-1127	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
(=> (and (suffrageAgeMaximum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT) (age ?AGENT (MeasureFn ?AGE YearDuration))) (lessThanOrEqualTo ?AGE ?VOTINGAGE))	Government.kif 1049-1057	suffrageAgeMaximum Agent and MeasureFn RealNumber and YearDuration instance Election and ElectionFn Agent capability VotingFn Election, agent and Object age Object and MeasureFn RealNumber and YearDuration lessThanOrEqualTo RealNumber and RealNumber
(=> (and (suffrageAgeMaximum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT)) (exists (?AGE) (and (age ?AGENT (MeasureFn ?AGE YearDuration)) (lessThanOrEqualTo ?AGE ?VOTINGAGE))))	Government.kif 1037-1047	suffrageAgeMaximum Agent and MeasureFn RealNumber and YearDuration instance Election and ElectionFn Agent capability VotingFn Election, agent and Object RealNumber age Object and MeasureFn RealNumber and YearDuration lessThanOrEqualTo RealNumber and RealNumber
(=> (and (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT) (age ?AGENT (MeasureFn ?AGE YearDuration))) (greaterThanOrEqualTo ?AGE ?VOTINGAGE))	Government.kif 977-985	suffrageAgeMinimum Agent and MeasureFn RealNumber and YearDuration instance Election and ElectionFn Agent capability VotingFn Election, agent and Object age Object and MeasureFn RealNumber and YearDuration greaterThanOrEqualTo RealNumber and RealNumber
(=> (and (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT)) (exists (?AGE) (and (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE))))	Government.kif 965-975	suffrageAgeMinimum Agent and MeasureFn RealNumber and YearDuration instance Election and ElectionFn Agent capability VotingFn Election, agent and Object RealNumber age Object and MeasureFn RealNumber and YearDuration greaterThanOrEqualTo RealNumber and RealNumber

consequent

(=> (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 1129-1149	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 (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 1208-1228	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 1188-1206	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 1103-1115	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 (?AGENT ?VOTER ?ELECTION ?VOTING) (=> (and (instance ?ELECTION (ElectionFn ?AGENT)) (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?VOTER)) (attribute ?VOTER Male))) ExclusiveMaleSuffrage)	Government.kif 1238-1245	containsInformation ?AGENT ?VOTER, ?ELECTION and ?VOTING instance ?ELECTION and ElectionFn ?AGENT instance ?VOTING and VotingFn ?ELECTION agent ?VOTING and ?VOTER attribute ?VOTER and Male and ExclusiveMaleSuffrage
(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 920-928	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 1089-1100	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 1157-1171	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 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