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 980-982
(
domain
suffrageAgeMaximum
1
AutonomousAgent
)
Government.kif 984-984
Die Zahl 1 Argument von
suffrageAgeMaximum
ist ein
fall
von
AutonomousAgent
%n{nicht}
(
domain
suffrageAgeMaximum
2
TimeDuration
)
Government.kif 985-985
Die Zahl 2 Argument von
suffrageAgeMaximum
ist ein
fall
von
TimeDuration
%n{nicht}
(
instance
suffrageAgeMaximum
BinaryPredicate
)
Government.kif 978-978
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 55935-55935
(
termFormat
ChineseTraditionalLanguage
suffrageAgeMaximum
"選舉年齡最大值")
domainEnglishFormat.kif 55934-55934
(
termFormat
EnglishLanguage
suffrageAgeMaximum
"suffrage age maximum")
domainEnglishFormat.kif 55933-55933
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 993-1002
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 1039-1048
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 1026-1037
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 1016-1024
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 1004-1014
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 987-991
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 993-1002
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