Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
ElectionFn
Sigma KEE - ElectionFn
ElectionFn
appearance as argument number 1
(
documentation
ElectionFn
EnglishLanguage
"(
ElectionFn
?ORG) denotes the class of
Election
s 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
The number 1 argument of
election
is an
instance
of
agent
(
instance
ElectionFn
UnaryFunction
)
Government.kif 1681-1681
Election
is an
instance
of
unary function
(
rangeSubclass
ElectionFn
Election
)
Government.kif 1683-1683
The values returned by
election
are
subclasses
of
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
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
(=>
(
and
(
instance
?AGENT
Agent
)
(
subclass
(
ElectionFn
?AGENT)
Election
))
(
or
(
instance
?AGENT
Organization
)
(
instance
?AGENT
GeopoliticalArea
)))
Government.kif 1689-1695
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
(=>
(
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
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
(=>
(
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
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
(=>
(
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
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
(=>
(
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
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
(=>
(
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
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
(=>
(
and
(
subProposition
ExclusiveMaleSuffrage
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY)
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT))
(
attribute
?AGENT
Male
))
Government.kif 1247-1253
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
(=>
(
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
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
(=>
(
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
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
(=>
(
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
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
(=>
(
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
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
(=>
(
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
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
(=>
(
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
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
(=>
(
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
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
allow
s
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
(=>
(
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
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
obligate
s
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
(=>
(
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
If
compulsory suffrage law
is a
sub
-proposition of the
regional
law of
a geopolitical area
,
then the
regional
law of
the geopolitical area
obligate
s
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
(=>
(
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
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
(
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
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
contain
s information
exclusive male suffrage
(
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
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
contain
s information
voter citizenship requirement
(
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
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
contain
s information
universal suffrage law
(
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
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
contain
s 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 3.0 is
open source software
produced by
Articulate Software
and its partners