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
suffrageAgeMinimum
Sigma KEE - suffrageAgeMinimum
suffrageAgeMinimum
appearance as argument number 1
(
documentation
suffrageAgeMinimum
EnglishLanguage
"(
suffrageAgeMinimum
?POLITY ?AGE) means that in the
Organization
or
GeopoliticalArea
?POLITY, a person must be ?AGE or older in order to vote in the elections of ?POLITY.")
Government.kif 944-946
(
domain
suffrageAgeMinimum
1
AutonomousAgent
)
Government.kif 948-948
O argumento numero 1 de
suffrageAgeMinimum
e' uma
instancia
de
AutonomousAgent
(
domain
suffrageAgeMinimum
2
TimeDuration
)
Government.kif 949-949
O argumento numero 2 de
suffrageAgeMinimum
e' uma
instancia
de
Duracao Temporal
(
instance
suffrageAgeMinimum
BinaryPredicate
)
Government.kif 942-942
suffrageAgeMinimum
e' uma
instancia
de
Predicado Binario
appearance as argument number 2
(
format
ChineseLanguage
suffrageAgeMinimum
"%2 %n 是 %1 的 suffrage 最小年纪")
domainEnglishFormat.kif 2411-2411
(
format
ChineseTraditionalLanguage
suffrageAgeMinimum
"%2 %n 是 %1 的 suffrage 最小年紀")
domainEnglishFormat.kif 2410-2410
(
format
EnglishLanguage
suffrageAgeMinimum
"%2 is %n a suffrage age minimum of %1")
domainEnglishFormat.kif 2409-2409
(
termFormat
ChineseLanguage
suffrageAgeMinimum
"最低年龄")
domainEnglishFormat.kif 55939-55939
(
termFormat
ChineseTraditionalLanguage
suffrageAgeMinimum
"最低年齡")
domainEnglishFormat.kif 55938-55938
(
termFormat
EnglishLanguage
suffrageAgeMinimum
"suffrage age minimum")
domainEnglishFormat.kif 55937-55937
antecedent
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
suffrageAgeMinimum
?AREA ?AGE))
(
exists
(?AGERULE)
(
and
(
instance
?AGERULE
VoterAgeRequirement
)
(
subProposition
?AGERULE
(
RegionalLawFn
?AREA))
(
containsInformation
(
suffrageAgeMinimum
?AREA ?AGE) ?AGERULE))))
Government.kif 957-966
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
suffrageAgeMinimum
Area Geopolitica
and
Duracao Temporal
Duracao Temporal
RULE
Duracao Temporal
RULE e' uma
instancia
de
VoterAgeRequirement
Duracao Temporal
RULE e' uma &sub-proposicao de
RegionalLawFn
Area Geopolitica
suffrageAgeMinimum
Area Geopolitica
and
Duracao Temporal
contem
informacao
Duracao Temporal
RULE
(=>
(
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 1003-1012
Election
e' uma
instancia
de
ElectionFn
AutonomousAgent
Processo
e' uma
instancia
de
VotingFn
Election
Processo
e' um
agente
de
AutonomousAgent
suffrageAgeMinimum
AutonomousAgent
and
Numero Real
YearDuration
(s) a
idade
de
AutonomousAgent
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a
Numero Real
(=>
(
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 990-1001
Election
e' uma
instancia
de
ElectionFn
AutonomousAgent
Processo
e' uma
instancia
de
VotingFn
Election
Processo
e' um
agente
de
AutonomousAgent
suffrageAgeMinimum
AutonomousAgent
and
Numero Real
YearDuration
(s)
Numero Real
a
idade
de
AutonomousAgent
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a
Numero Real
(=>
(
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 1176-1189
CompulsorySuffrageLaw
e' uma &sub-proposicao de
RegionalLawFn
Nacao
Humano
e' um
cidadao
de
Nacao
suffrageAgeMinimum
Nacao
and
Numero Real
YearDuration
(s) a
idade
de
Humano
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a
Numero Real
Election
e' uma
instancia
de
ElectionFn
Nacao
Processo
Processo
e' uma
instancia
de
VotingFn
Election
Processo
e' um
agente
de
Humano
(=>
(
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 1120-1130
UniversalSuffrageLaw
e' uma &sub-proposicao de
RegionalLawFn
Nacao
Humano
e' um
cidadao
de
Nacao
suffrageAgeMinimum
Nacao
and
Numero Real
YearDuration
(s) a
idade
de
Humano
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a
Numero Real
Election
e' uma
instancia
de
ElectionFn
Nacao
Humano
e'
capaz
de fazer
VotingFn
Election
no role
agent
(=>
(
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 980-988
suffrageAgeMinimum
AutonomousAgent
and
Numero Real
YearDuration
(s)
Election
e' uma
instancia
de
ElectionFn
AutonomousAgent
Objeto
e'
capaz
de fazer
VotingFn
Election
no role
agent
a
idade
de
Objeto
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a
Numero Real
(=>
(
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 968-978
suffrageAgeMinimum
AutonomousAgent
and
Numero Real
YearDuration
(s)
Election
e' uma
instancia
de
ElectionFn
AutonomousAgent
Objeto
e'
capaz
de fazer
VotingFn
Election
no role
agent
Numero Real
a
idade
de
Objeto
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a
Numero Real
(=>
(
suffrageAgeMinimum
?AGENT ?AGE)
(
or
(
instance
?AGENT
Organization
)
(
instance
?AGENT
GeopoliticalArea
)))
Government.kif 951-955
suffrageAgeMinimum
AutonomousAgent
and
Duracao Temporal
AutonomousAgent
e' uma
instancia
de
Organizacao
AutonomousAgent
e' uma
instancia
de
Area Geopolitica
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 1132-1152
Humano
e' um
cidadao
de
Nacao
UniversalSuffrageLaw
e' uma &sub-proposicao de
RegionalLawFn
Nacao
RegionalLawFn
Nacao
autoriza
Humano
a executar tarefas de tipo
Entidade
Entidade
and
Entidade
Humano
e' um
cidadao
de
Nacao
suffrageAgeMinimum
Nacao
and
Entidade
YearDuration
(s) a
idade
de
Humano
e'
Entidade
YearDuration
(s)
Entidade
e'
maior
ou igual a
Entidade
Entidade
e' uma
instancia
de
ElectionFn
Nacao
Entidade
Entidade
e' uma
instancia
de
VotingFn
Entidade
Entidade
e' um
agente
de
Humano
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
suffrageAgeMinimum
?AREA ?AGE))
(
exists
(?AGERULE)
(
and
(
instance
?AGERULE
VoterAgeRequirement
)
(
subProposition
?AGERULE
(
RegionalLawFn
?AREA))
(
containsInformation
(
suffrageAgeMinimum
?AREA ?AGE) ?AGERULE))))
Government.kif 957-966
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
suffrageAgeMinimum
Area Geopolitica
and
Duracao Temporal
Duracao Temporal
RULE
Duracao Temporal
RULE e' uma
instancia
de
VoterAgeRequirement
Duracao Temporal
RULE e' uma &sub-proposicao de
RegionalLawFn
Area Geopolitica
suffrageAgeMinimum
Area Geopolitica
and
Duracao Temporal
contem
informacao
Duracao Temporal
RULE
(=>
(
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 1211-1231
CompulsorySuffrageLaw
e' uma &sub-proposicao de
RegionalLawFn
Nacao
Humano
e' um
cidadao
de
Nacao
RegionalLawFn
Nacao
obriga
Humano
a executar tarefas de tipo
Entidade
Entidade
and
Entidade
Humano
e' um
cidadao
de
Nacao
suffrageAgeMinimum
Nacao
and
Entidade
YearDuration
(s) a
idade
de
Humano
e'
Entidade
YearDuration
(s)
Entidade
e'
maior
ou igual a
Entidade
Entidade
e' uma
instancia
de
ElectionFn
Nacao
Entidade
Entidade
e' uma
instancia
de
VotingFn
Entidade
Entidade
e' um
agente
de
Humano
(=>
(
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 1191-1209
CompulsorySuffrageLaw
e' uma &sub-proposicao de
RegionalLawFn
Area Geopolitica
RegionalLawFn
Area Geopolitica
obriga
Area Geopolitica
a executar tarefas de tipo
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' um
cidadao
de
Area Geopolitica
suffrageAgeMinimum
Area Geopolitica
and
Entidade
YearDuration
(s) a
idade
de
Entidade
e'
Entidade
YearDuration
(s)
Entidade
e'
maior
ou igual a
Entidade
Entidade
e' uma
instancia
de
ElectionFn
Area Geopolitica
Entidade
Entidade
e' uma
instancia
de
VotingFn
Entidade
Entidade
e' um
agente
de
Entidade
(=>
(
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 1106-1118
UniversalSuffrageLaw
e' uma &sub-proposicao de
RegionalLawFn
Nacao
Humano
Election
,
Numero Real
and
Numero Real
Humano
e' um
cidadao
de
Nacao
suffrageAgeMinimum
Nacao
and
Numero Real
YearDuration
(s) a
idade
de
Humano
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a
Numero Real
Election
e' uma
instancia
de
ElectionFn
Nacao
Humano
e'
capaz
de fazer
VotingFn
Election
no role
agent
statement
(
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 1092-1103
?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE
?AGENT e' um
cidadao
de ?POLITY
suffrageAgeMinimum
?POLITY and ?VOTINGAGE
YearDuration
(s) a
idade
de ?AGENT e' ?AGE
YearDuration
(s) ?AGE e'
maior
ou igual a ?VOTINGAGE ?ELECTION e' uma
instancia
de
ElectionFn
?POLITY
?AGENT e'
capaz
de fazer
VotingFn
?ELECTION no role
agent
contem
informacao
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 1160-1174
?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE
?VOTER e' um
cidadao
de ?POLITY
suffrageAgeMinimum
?POLITY and ?VOTINGAGE
YearDuration
(s) a
idade
de ?VOTER e' ?AGE
YearDuration
(s) ?AGE e'
maior
ou igual a ?VOTINGAGE ?ELECTION e' uma
instancia
de
ElectionFn
?POLITY
?VOTING ?VOTING e' uma
instancia
de
VotingFn
?ELECTION ?VOTING e' um
agente
de ?VOTER
contem
informacao
CompulsorySuffrageLaw
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