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
Le nombre 1 argument de
suffrageAgeMinimum
est une
instance
de
AutonomousAgent
(
domain
suffrageAgeMinimum
2
TimeDuration
)
Government.kif 949-949
Le nombre 2 argument de
suffrageAgeMinimum
est une
instance
de
dur�e temporel
(
instance
suffrageAgeMinimum
BinaryPredicate
)
Government.kif 942-942
suffrageAgeMinimum
est une
instance
de
pr�dicat binaire
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
Secteur g�opolitique
est une
instance
de
secteur g�opolitique
suffrageAgeMinimum
secteur g�opolitique
and
dur�e temporel
dur�e temporel
RULE
dur�e temporel
RULE est une
instance
de
VoterAgeRequirement
dur�e temporel
RULE est une
sous
-proposition de
RegionalLawFn
secteur g�opolitique
suffrageAgeMinimum
secteur g�opolitique
and
dur�e temporel
contient
information
dur�e temporel
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
est une
instance
de
ElectionFn
AutonomousAgent
processus
est une
instance
de
VotingFn
Election
processus
est un
agent
de
AutonomousAgent
suffrageAgeMinimum
AutonomousAgent
and
nombre r�el
YearDuration
(s) l'
AutonomousAgent
est
nombre r�el
YearDuration
(s)
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
(=>
(
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
est une
instance
de
ElectionFn
AutonomousAgent
processus
est une
instance
de
VotingFn
Election
processus
est un
agent
de
AutonomousAgent
suffrageAgeMinimum
AutonomousAgent
and
nombre r�el
YearDuration
(s)
nombre r�el
l'
AutonomousAgent
est
nombre r�el
YearDuration
(s)
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
(=>
(
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
est une
sous
-proposition de
RegionalLawFn
nation
humain
est un
citoyen
de
nation
suffrageAgeMinimum
nation
and
nombre r�el
YearDuration
(s) l'
humain
est
nombre r�el
YearDuration
(s)
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
Election
est une
instance
de
ElectionFn
nation
processus
processus
est une
instance
de
VotingFn
Election
processus
est un
agent
de
humain
(=>
(
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
est une
sous
-proposition de
RegionalLawFn
nation
humain
est un
citoyen
de
nation
suffrageAgeMinimum
nation
and
nombre r�el
YearDuration
(s) l'
humain
est
nombre r�el
YearDuration
(s)
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
Election
est une
instance
de
ElectionFn
nation
humain
est
capable
de faire
VotingFn
Election
dans le r�le
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
nombre r�el
YearDuration
(s)
Election
est une
instance
de
ElectionFn
AutonomousAgent
objet
est
capable
de faire
VotingFn
Election
dans le r�le
agent
l'
objet
est
nombre r�el
YearDuration
(s)
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
(=>
(
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
nombre r�el
YearDuration
(s)
Election
est une
instance
de
ElectionFn
AutonomousAgent
objet
est
capable
de faire
VotingFn
Election
dans le r�le
agent
nombre r�el
l'
objet
est
nombre r�el
YearDuration
(s)
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
(=>
(
suffrageAgeMinimum
?AGENT ?AGE)
(
or
(
instance
?AGENT
Organization
)
(
instance
?AGENT
GeopoliticalArea
)))
Government.kif 951-955
suffrageAgeMinimum
AutonomousAgent
and
dur�e temporel
AutonomousAgent
est une
instance
de
organisation
AutonomousAgent
est une
instance
de
secteur g�opolitique
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
Humain
est un
citoyen
de
nation
UniversalSuffrageLaw
est une
sous
-proposition de
RegionalLawFn
nation
RegionalLawFn
nation
autorise
humain
� ex�cut� des t�ches du type
entit�
entit�
and
entit�
humain
est un
citoyen
de
nation
suffrageAgeMinimum
nation
and
entit�
YearDuration
(s) l'
humain
est
entit�
YearDuration
(s)
entit�
est
plus
grand
ou �gal �
entit�
entit�
est une
instance
de
ElectionFn
nation
entit�
entit�
est une
instance
de
VotingFn
entit�
entit�
est un
agent
de
humain
(=>
(
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
Secteur g�opolitique
est une
instance
de
secteur g�opolitique
suffrageAgeMinimum
secteur g�opolitique
and
dur�e temporel
dur�e temporel
RULE
dur�e temporel
RULE est une
instance
de
VoterAgeRequirement
dur�e temporel
RULE est une
sous
-proposition de
RegionalLawFn
secteur g�opolitique
suffrageAgeMinimum
secteur g�opolitique
and
dur�e temporel
contient
information
dur�e temporel
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
est une
sous
-proposition de
RegionalLawFn
nation
humain
est un
citoyen
de
nation
RegionalLawFn
nation
oblige
humain
� ex�cut� des t�ches du type
entit�
entit�
and
entit�
humain
est un
citoyen
de
nation
suffrageAgeMinimum
nation
and
entit�
YearDuration
(s) l'
humain
est
entit�
YearDuration
(s)
entit�
est
plus
grand
ou �gal �
entit�
entit�
est une
instance
de
ElectionFn
nation
entit�
entit�
est une
instance
de
VotingFn
entit�
entit�
est un
agent
de
humain
(=>
(
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
est une
sous
-proposition de
RegionalLawFn
secteur g�opolitique
RegionalLawFn
secteur g�opolitique
oblige
secteur g�opolitique
� ex�cut� des t�ches du type
entit�
entit�
,
entit�
and
entit�
entit�
est un
citoyen
de
secteur g�opolitique
suffrageAgeMinimum
secteur g�opolitique
and
entit�
YearDuration
(s) l'
entit�
est
entit�
YearDuration
(s)
entit�
est
plus
grand
ou �gal �
entit�
entit�
est une
instance
de
ElectionFn
secteur g�opolitique
entit�
entit�
est une
instance
de
VotingFn
entit�
entit�
est un
agent
de
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
est une
sous
-proposition de
RegionalLawFn
nation
humain
Election
,
nombre r�el
and
nombre r�el
humain
est un
citoyen
de
nation
suffrageAgeMinimum
nation
and
nombre r�el
YearDuration
(s) l'
humain
est
nombre r�el
YearDuration
(s)
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
Election
est une
instance
de
ElectionFn
nation
humain
est
capable
de faire
VotingFn
Election
dans le r�le
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 est un
citoyen
de ?POLITY
suffrageAgeMinimum
?POLITY and ?VOTINGAGE
YearDuration
(s) l'
YearDuration
(s) ?AGE est
plus
grand
ou �gal � ?VOTINGAGE ?ELECTION est une
instance
de
ElectionFn
?POLITY
?AGENT est
capable
de faire
VotingFn
?ELECTION dans le r�le
agent
contient
information
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 est un
citoyen
de ?POLITY
suffrageAgeMinimum
?POLITY and ?VOTINGAGE
YearDuration
(s) l'
YearDuration
(s) ?AGE est
plus
grand
ou �gal � ?VOTINGAGE ?ELECTION est une
instance
de
ElectionFn
?POLITY
?VOTING ?VOTING est une
instance
de
VotingFn
?ELECTION ?VOTING est un
agent
de ?VOTER
contient
information
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