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
Il numero 1 argomenti di
suffrageAgeMinimum
è un
istanza
di
AutonomousAgent
(
domain
suffrageAgeMinimum
2
TimeDuration
)
Government.kif 949-949
Il numero 2 argomenti di
suffrageAgeMinimum
è un
istanza
di
Durata
(
instance
suffrageAgeMinimum
BinaryPredicate
)
Government.kif 942-942
suffrageAgeMinimum
è un'
istanza
di
PredicatoBinario
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
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
suffrageAgeMinimum
AreaGeopolitica
and
Durata
Durata
RULE
Durata
RULE è un'
istanza
di
VoterAgeRequirement
Durata
RULE è una
sottoproposizione
RegionalLawFn
AreaGeopolitica
suffrageAgeMinimum
AreaGeopolitica
and
Durata
contiene
s informazione
Durata
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
è un'
istanza
di
ElectionFn
AutonomousAgent
Processo
è un'
istanza
di
VotingFn
Election
Processo
è un
agente
di
AutonomousAgent
suffrageAgeMinimum
AutonomousAgent
and
NumeroReale
YearDuration
(s il
et
à di
AutonomousAgent
è
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
(=>
(
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
è un'
istanza
di
ElectionFn
AutonomousAgent
Processo
è un'
istanza
di
VotingFn
Election
Processo
è un
agente
di
AutonomousAgent
suffrageAgeMinimum
AutonomousAgent
and
NumeroReale
YearDuration
(s
NumeroReale
il
et
à di
AutonomousAgent
è
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
(=>
(
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
è una
sottoproposizione
RegionalLawFn
Nazione
Umano
è un
cittadino
di
Nazione
suffrageAgeMinimum
Nazione
and
NumeroReale
YearDuration
(s il
et
à di
Umano
è
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
Election
è un'
istanza
di
ElectionFn
Nazione
Processo
Processo
è un'
istanza
di
VotingFn
Election
Processo
è un
agente
di
Umano
(=>
(
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
è una
sottoproposizione
RegionalLawFn
Nazione
Umano
è un
cittadino
di
Nazione
suffrageAgeMinimum
Nazione
and
NumeroReale
YearDuration
(s il
et
à di
Umano
è
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
Election
è un'
istanza
di
ElectionFn
Nazione
Umano
è
capace
di fare
VotingFn
Election
nel ruolo
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
NumeroReale
YearDuration
(s
Election
è un'
istanza
di
ElectionFn
AutonomousAgent
Oggetto
è
capace
di fare
VotingFn
Election
nel ruolo
agent
il
et
à di
Oggetto
è
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
(=>
(
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
NumeroReale
YearDuration
(s
Election
è un'
istanza
di
ElectionFn
AutonomousAgent
Oggetto
è
capace
di fare
VotingFn
Election
nel ruolo
agent
NumeroReale
il
et
à di
Oggetto
è
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
(=>
(
suffrageAgeMinimum
?AGENT ?AGE)
(
or
(
instance
?AGENT
Organization
)
(
instance
?AGENT
GeopoliticalArea
)))
Government.kif 951-955
suffrageAgeMinimum
AutonomousAgent
and
Durata
AutonomousAgent
è un'
istanza
di
Organizzazione
AutonomousAgent
è un'
istanza
di
AreaGeopolitica
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
Umano
è un
cittadino
di
Nazione
UniversalSuffrageLaw
è una
sottoproposizione
RegionalLawFn
Nazione
RegionalLawFn
Nazione
permette
a
Umano
di compiere il compito di tipo
Entit�
Entit�
and
Entit�
Umano
è un
cittadino
di
Nazione
suffrageAgeMinimum
Nazione
and
Entit�
YearDuration
(s il
et
à di
Umano
è
Entit�
YearDuration
(s
Entit�
è
pi
ù grande di o uguale a
Entit�
Entit�
è un'
istanza
di
ElectionFn
Nazione
Entit�
Entit�
è un'
istanza
di
VotingFn
Entit�
Entit�
è un
agente
di
Umano
(=>
(
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
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
suffrageAgeMinimum
AreaGeopolitica
and
Durata
Durata
RULE
Durata
RULE è un'
istanza
di
VoterAgeRequirement
Durata
RULE è una
sottoproposizione
RegionalLawFn
AreaGeopolitica
suffrageAgeMinimum
AreaGeopolitica
and
Durata
contiene
s informazione
Durata
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
è una
sottoproposizione
RegionalLawFn
Nazione
Umano
è un
cittadino
di
Nazione
RegionalLawFn
Nazione
obbliga
Umano
a compiere il compito di tipo
Entit�
Entit�
and
Entit�
Umano
è un
cittadino
di
Nazione
suffrageAgeMinimum
Nazione
and
Entit�
YearDuration
(s il
et
à di
Umano
è
Entit�
YearDuration
(s
Entit�
è
pi
ù grande di o uguale a
Entit�
Entit�
è un'
istanza
di
ElectionFn
Nazione
Entit�
Entit�
è un'
istanza
di
VotingFn
Entit�
Entit�
è un
agente
di
Umano
(=>
(
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
è una
sottoproposizione
RegionalLawFn
AreaGeopolitica
RegionalLawFn
AreaGeopolitica
obbliga
AreaGeopolitica
a compiere il compito di tipo
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un
cittadino
di
AreaGeopolitica
suffrageAgeMinimum
AreaGeopolitica
and
Entit�
YearDuration
(s il
et
à di
Entit�
è
Entit�
YearDuration
(s
Entit�
è
pi
ù grande di o uguale a
Entit�
Entit�
è un'
istanza
di
ElectionFn
AreaGeopolitica
Entit�
Entit�
è un'
istanza
di
VotingFn
Entit�
Entit�
è un
agente
di
Entit�
(=>
(
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
è una
sottoproposizione
RegionalLawFn
Nazione
Umano
Election
,
NumeroReale
and
NumeroReale
Umano
è un
cittadino
di
Nazione
suffrageAgeMinimum
Nazione
and
NumeroReale
YearDuration
(s il
et
à di
Umano
è
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
Election
è un'
istanza
di
ElectionFn
Nazione
Umano
è
capace
di fare
VotingFn
Election
nel ruolo
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 è un
cittadino
di ?POLITY
suffrageAgeMinimum
?POLITY and ?VOTINGAGE
YearDuration
(s il
et
à di ?AGENT è ?AGE
YearDuration
(s ?AGE è
pi
ù grande di o uguale a ?VOTINGAGE ?ELECTION è un'
istanza
di
ElectionFn
?POLITY
?AGENT è
capace
di fare
VotingFn
?ELECTION nel ruolo
agent
contiene
s informazione
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 è un
cittadino
di ?POLITY
suffrageAgeMinimum
?POLITY and ?VOTINGAGE
YearDuration
(s il
et
à di ?VOTER è ?AGE
YearDuration
(s ?AGE è
pi
ù grande di o uguale a ?VOTINGAGE ?ELECTION è un'
istanza
di
ElectionFn
?POLITY
?VOTING ?VOTING è un'
istanza
di
VotingFn
?ELECTION ?VOTING è un
agente
di ?VOTER
contiene
s informazione
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