Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
suffrageAgeMaximum
Sigma KEE - suffrageAgeMaximum
suffrageAgeMaximum
appearance as argument number 1
(
documentation
suffrageAgeMaximum
EnglishLanguage
"(
suffrageAgeMaximum
?POLITY ?AGE) means that in the
Organization
or
GeopoliticalArea
?POLITY, a person must be ?AGE or younger in order to vote in the elections of ?POLITY.")
Government.kif 980-982
(
domain
suffrageAgeMaximum
1
AutonomousAgent
)
Government.kif 984-984
The number 1 argument of
suffrage age maximum
is an
instance
of
agent
(
domain
suffrageAgeMaximum
2
TimeDuration
)
Government.kif 985-985
The number 2 argument of
suffrage age maximum
is an
instance
of
time duration
(
instance
suffrageAgeMaximum
BinaryPredicate
)
Government.kif 978-978
suffrage age maximum
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
suffrageAgeMaximum
"%2 %n 是 %1 的 suffrage 最大年纪")
domainEnglishFormat.kif 2407-2407
(
format
ChineseTraditionalLanguage
suffrageAgeMaximum
"%2 %n 是 %1 的 suffrage 最大年紀")
domainEnglishFormat.kif 2406-2406
(
format
EnglishLanguage
suffrageAgeMaximum
"%2 is %n a suffrage age maximum of %1")
domainEnglishFormat.kif 2405-2405
(
termFormat
ChineseLanguage
suffrageAgeMaximum
"选举年龄最大值")
domainEnglishFormat.kif 55935-55935
(
termFormat
ChineseTraditionalLanguage
suffrageAgeMaximum
"選舉年齡最大值")
domainEnglishFormat.kif 55934-55934
(
termFormat
EnglishLanguage
suffrageAgeMaximum
"suffrage age maximum")
domainEnglishFormat.kif 55933-55933
antecedent
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
suffrageAgeMaximum
?AREA ?AGE))
(
exists
(?AGERULE)
(
and
(
instance
?AGERULE
VoterAgeRequirement
)
(
subProposition
?AGERULE
(
RegionalLawFn
?AREA))
(
containsInformation
(
suffrageAgeMaximum
?AREA ?AGE) ?AGERULE))))
Government.kif 993-1002
If
a geopolitical area
is an
instance
of
geopolitical area
and
a time duration
is a
suffrage
age maximum of
the geopolitical area
,
then there exists
the time duration
RULE such that
the time duration
RULE is an
instance
of
voter age requirement
and
the time duration
RULE is a
sub
-proposition of the
regional
law of
the geopolitical area
and
the time duration
is a
suffrage
age maximum of
the geopolitical area
contain
s information
the time duration
RULE
(=>
(
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 1039-1048
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 1026-1037
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
(
suffrageAgeMaximum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT)
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
)))
(
lessThanOrEqualTo
?AGE ?VOTINGAGE))
Government.kif 1016-1024
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 1004-1014
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
(=>
(
suffrageAgeMaximum
?AGENT ?AGE)
(
or
(
instance
?AGENT
Organization
)
(
instance
?AGENT
GeopoliticalArea
)))
Government.kif 987-991
If
a time duration
is a
suffrage
age maximum of
the time duration
NT,
then
the time duration
NT is an
instance
of
organization
or
the time duration
NT is an
instance
of
geopolitical area
consequent
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
suffrageAgeMaximum
?AREA ?AGE))
(
exists
(?AGERULE)
(
and
(
instance
?AGERULE
VoterAgeRequirement
)
(
subProposition
?AGERULE
(
RegionalLawFn
?AREA))
(
containsInformation
(
suffrageAgeMaximum
?AREA ?AGE) ?AGERULE))))
Government.kif 993-1002
If
a geopolitical area
is an
instance
of
geopolitical area
and
a time duration
is a
suffrage
age maximum of
the geopolitical area
,
then there exists
the time duration
RULE such that
the time duration
RULE is an
instance
of
voter age requirement
and
the time duration
RULE is a
sub
-proposition of the
regional
law of
the geopolitical area
and
the time duration
is a
suffrage
age maximum of
the geopolitical area
contain
s information
the time duration
RULE
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