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
Die Zahl 1 Argument von
suffrageAgeMaximum
ist ein
fall
von
AutonomousAgent
%n{nicht}
(
domain
suffrageAgeMaximum
2
TimeDuration
)
Government.kif 1021-1021
Die Zahl 2 Argument von
suffrageAgeMaximum
ist ein
fall
von
TimeDuration
%n{nicht}
(
instance
suffrageAgeMaximum
BinaryPredicate
)
Government.kif 1014-1014
suffrageAgeMaximum
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
Wenn
GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
suffrageAgeMaximum
** GeopoliticalArea
and
TimeDuration
,
dann es gibt
** TimeDuration
RULE um
** TimeDuration
RULE ist ein
fall
von
VoterAgeRequirement
%n{nicht} und
** TimeDuration
RULE ist eine
teilangelegenheit
von
RegionalLawFn
** GeopoliticalArea
%n{nicht} und
suffrageAgeMaximum
** GeopoliticalArea
and
** TimeDuration
enthaelt Informationen ueber
** TimeDuration
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
Wenn
Election
ist ein
fall
von
ElectionFn
AutonomousAgent
%n{nicht} und
Process
ist ein
fall
von
VotingFn
** Election
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
suffrageAgeMaximum
** AutonomousAgent
and
RealNumber
YearDuration
(s) und das
alter
von
** ** AutonomousAgent
ist
** RealNumber
YearDuration
(s) %n{nicht},
dann
** ** RealNumber
ist
kleinerAlsOderGleich
** RealNumber
%n{nicht}
(=>
(
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
Wenn
Election
ist ein
fall
von
ElectionFn
AutonomousAgent
%n{nicht} und
Process
ist ein
fall
von
VotingFn
** Election
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
suffrageAgeMaximum
** AutonomousAgent
and
RealNumber
YearDuration
(s),
dann es gibt
** RealNumber
um das
alter
von
** ** AutonomousAgent
ist
** ** RealNumber
YearDuration
(s) %n{nicht} und
** ** RealNumber
ist
kleinerAlsOderGleich
** RealNumber
%n{nicht}
(=>
(
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
Wenn
suffrageAgeMaximum
AutonomousAgent
and
RealNumber
YearDuration
(s) und
Election
ist ein
fall
von
ElectionFn
** AutonomousAgent
%n{nicht} und
Object
ist faehig %n{nicht}, in der Rolle
agent
VotingFn
** Election
zu tun und das
alter
von
** Object
ist
** RealNumber
YearDuration
(s) %n{nicht},
dann
** ** RealNumber
ist
kleinerAlsOderGleich
** RealNumber
%n{nicht}
(=>
(
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
Wenn
suffrageAgeMaximum
AutonomousAgent
and
RealNumber
YearDuration
(s) und
Election
ist ein
fall
von
ElectionFn
** AutonomousAgent
%n{nicht} und
Object
ist faehig %n{nicht}, in der Rolle
agent
VotingFn
** Election
zu tun,
dann es gibt
** RealNumber
um das
alter
von
** Object
ist
** ** RealNumber
YearDuration
(s) %n{nicht} und
** ** RealNumber
ist
kleinerAlsOderGleich
** RealNumber
%n{nicht}
(=>
(
suffrageAgeMaximum
?AGENT ?AGE)
(
or
(
instance
?AGENT
Organization
)
(
instance
?AGENT
GeopoliticalArea
)))
Government.kif 1023-1027
Wenn
suffrageAgeMaximum
AutonomousAgent
and
TimeDuration
,
dann
** AutonomousAgent
ist ein
fall
von
Organization
%n{nicht} oder
** AutonomousAgent
ist ein
fall
von
GeopoliticalArea
%n{nicht}
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
Wenn
GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
suffrageAgeMaximum
** GeopoliticalArea
and
TimeDuration
,
dann es gibt
** TimeDuration
RULE um
** TimeDuration
RULE ist ein
fall
von
VoterAgeRequirement
%n{nicht} und
** TimeDuration
RULE ist eine
teilangelegenheit
von
RegionalLawFn
** GeopoliticalArea
%n{nicht} und
suffrageAgeMaximum
** GeopoliticalArea
and
** TimeDuration
enthaelt Informationen ueber
** TimeDuration
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