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 1016-1018
(
domain
suffrageAgeMaximum
1
AutonomousAgent
)
Government.kif 1020-1020
Le nombre 1 argument de
suffrageAgeMaximum
est une
instance
de
AutonomousAgent
(
domain
suffrageAgeMaximum
2
TimeDuration
)
Government.kif 1021-1021
Le nombre 2 argument de
suffrageAgeMaximum
est une
instance
de
dur�e temporel
(
instance
suffrageAgeMaximum
BinaryPredicate
)
Government.kif 1014-1014
suffrageAgeMaximum
est une
instance
de
pr�dicat binaire
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 55933-55933
(
termFormat
ChineseTraditionalLanguage
suffrageAgeMaximum
"選舉年齡最大值")
domainEnglishFormat.kif 55932-55932
(
termFormat
EnglishLanguage
suffrageAgeMaximum
"suffrage age maximum")
domainEnglishFormat.kif 55931-55931
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 1029-1038
Secteur g�opolitique
est une
instance
de
secteur g�opolitique
suffrageAgeMaximum
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
suffrageAgeMaximum
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)
(
suffrageAgeMaximum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
)))
(
lessThanOrEqualTo
?AGE ?VOTINGAGE))
Government.kif 1075-1084
Election
est une
instance
de
ElectionFn
AutonomousAgent
processus
est une
instance
de
VotingFn
Election
processus
est un
agent
de
AutonomousAgent
suffrageAgeMaximum
AutonomousAgent
and
nombre r�el
YearDuration
(s) l'
AutonomousAgent
est
nombre r�el
YearDuration
(s)
nombre r�el
est plus
petit
ou �gal �
nombre r�el
(=>
(
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 1062-1073
Election
est une
instance
de
ElectionFn
AutonomousAgent
processus
est une
instance
de
VotingFn
Election
processus
est un
agent
de
AutonomousAgent
suffrageAgeMaximum
AutonomousAgent
and
nombre r�el
YearDuration
(s)
nombre r�el
l'
AutonomousAgent
est
nombre r�el
YearDuration
(s)
nombre r�el
est plus
petit
ou �gal �
nombre r�el
(=>
(
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 1052-1060
suffrageAgeMaximum
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
petit
ou �gal �
nombre r�el
(=>
(
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 1040-1050
suffrageAgeMaximum
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
petit
ou �gal �
nombre r�el
(=>
(
suffrageAgeMaximum
?AGENT ?AGE)
(
or
(
instance
?AGENT
Organization
)
(
instance
?AGENT
GeopoliticalArea
)))
Government.kif 1023-1027
suffrageAgeMaximum
AutonomousAgent
and
dur�e temporel
AutonomousAgent
est une
instance
de
organisation
AutonomousAgent
est une
instance
de
secteur g�opolitique
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 1029-1038
Secteur g�opolitique
est une
instance
de
secteur g�opolitique
suffrageAgeMaximum
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
suffrageAgeMaximum
secteur g�opolitique
and
dur�e temporel
contient
information
dur�e temporel
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