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
域
選舉年齡最大值
, 1 and
AutonomousAgent
(
domain
suffrageAgeMaximum
2
TimeDuration
)
Government.kif 985-985
域
選舉年齡最大值
, 2 and
TimeDuration
(
instance
suffrageAgeMaximum
BinaryPredicate
)
Government.kif 978-978
例
選舉年齡最大值
and
BinaryPredicate
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
例
GeopoliticalArea
and
GeopoliticalArea
TimeDuration
是
GeopoliticalArea
的
suffrage
最大年紀
TimeDuration
RULE
例
TimeDuration
RULE and
選民年齡要求
次提案
TimeDuration
RULE and
GeopoliticalArea
的
regional
法律
包含信息
TimeDuration
是
GeopoliticalArea
的
suffrage
最大年紀 and
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
例
選舉
and
AutonomousAgent
的
election
例
Process
and
選舉
的
voting
agent
Process
and
AutonomousAgent
測量
RealNumber
and
年持續時間
是
AutonomousAgent
的
suffrage
最大年紀
年齡
AutonomousAgent
and
測量
RealNumber
and
年持續時間
小於或等於
RealNumber
and
RealNumber
(=>
(
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
例
選舉
and
AutonomousAgent
的
election
例
Process
and
選舉
的
voting
agent
Process
and
AutonomousAgent
測量
RealNumber
and
年持續時間
是
AutonomousAgent
的
suffrage
最大年紀
RealNumber
年齡
AutonomousAgent
and
測量
RealNumber
and
年持續時間
小於或等於
RealNumber
and
RealNumber
(=>
(
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
測量
RealNumber
and
年持續時間
是
AutonomousAgent
的
suffrage
最大年紀
例
選舉
and
AutonomousAgent
的
election
能力
選舉
的
voting
,
agent
and
Object
年齡
Object
and
測量
RealNumber
and
年持續時間
小於或等於
RealNumber
and
RealNumber
(=>
(
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
測量
RealNumber
and
年持續時間
是
AutonomousAgent
的
suffrage
最大年紀
例
選舉
and
AutonomousAgent
的
election
能力
選舉
的
voting
,
agent
and
Object
RealNumber
年齡
Object
and
測量
RealNumber
and
年持續時間
小於或等於
RealNumber
and
RealNumber
(=>
(
suffrageAgeMaximum
?AGENT ?AGE)
(
or
(
instance
?AGENT
Organization
)
(
instance
?AGENT
GeopoliticalArea
)))
Government.kif 987-991
TimeDuration
是
TimeDuration
NT 的
suffrage
最大年紀
例
TimeDuration
NT and
Organization
例
TimeDuration
NT and
GeopoliticalArea
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
例
GeopoliticalArea
and
GeopoliticalArea
TimeDuration
是
GeopoliticalArea
的
suffrage
最大年紀
TimeDuration
RULE
例
TimeDuration
RULE and
選民年齡要求
次提案
TimeDuration
RULE and
GeopoliticalArea
的
regional
法律
包含信息
TimeDuration
是
GeopoliticalArea
的
suffrage
最大年紀 and
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