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
YouTube
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
Il numero 1 argomenti di
suffrageAgeMaximum
è un
istanza
di
AutonomousAgent
(
domain
suffrageAgeMaximum
2
TimeDuration
)
Government.kif 1021-1021
Il numero 2 argomenti di
suffrageAgeMaximum
è un
istanza
di
Durata
(
instance
suffrageAgeMaximum
BinaryPredicate
)
Government.kif 1014-1014
suffrageAgeMaximum
è un'
istanza
di
PredicatoBinario
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
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
suffrageAgeMaximum
AreaGeopolitica
and
Durata
Durata
RULE
Durata
RULE è un'
istanza
di
VoterAgeRequirement
Durata
RULE è una
sottoproposizione
RegionalLawFn
AreaGeopolitica
suffrageAgeMaximum
AreaGeopolitica
and
Durata
contiene
s informazione
Durata
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
è un'
istanza
di
ElectionFn
AutonomousAgent
Processo
è un'
istanza
di
VotingFn
Election
Processo
è un
agente
di
AutonomousAgent
suffrageAgeMaximum
AutonomousAgent
and
NumeroReale
YearDuration
(s il
et
à di
AutonomousAgent
è
NumeroReale
YearDuration
(s
NumeroReale
è
minore
o uguale a
NumeroReale
(=>
(
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
è un'
istanza
di
ElectionFn
AutonomousAgent
Processo
è un'
istanza
di
VotingFn
Election
Processo
è un
agente
di
AutonomousAgent
suffrageAgeMaximum
AutonomousAgent
and
NumeroReale
YearDuration
(s
NumeroReale
il
et
à di
AutonomousAgent
è
NumeroReale
YearDuration
(s
NumeroReale
è
minore
o uguale a
NumeroReale
(=>
(
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
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
è
minore
o uguale a
NumeroReale
(=>
(
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
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
è
minore
o uguale a
NumeroReale
(=>
(
suffrageAgeMaximum
?AGENT ?AGE)
(
or
(
instance
?AGENT
Organization
)
(
instance
?AGENT
GeopoliticalArea
)))
Government.kif 1023-1027
suffrageAgeMaximum
AutonomousAgent
and
Durata
AutonomousAgent
è un'
istanza
di
Organizzazione
AutonomousAgent
è un'
istanza
di
AreaGeopolitica
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
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
suffrageAgeMaximum
AreaGeopolitica
and
Durata
Durata
RULE
Durata
RULE è un'
istanza
di
VoterAgeRequirement
Durata
RULE è una
sottoproposizione
RegionalLawFn
AreaGeopolitica
suffrageAgeMaximum
AreaGeopolitica
and
Durata
contiene
s informazione
Durata
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