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
选举年龄最大值
的 1 数量 是
施事体
的
instance
(
domain
suffrageAgeMaximum
2
TimeDuration
)
Government.kif 1021-1021
选举年龄最大值
的 2 数量 是
持续时间
的
instance
(
instance
suffrageAgeMaximum
BinaryPredicate
)
Government.kif 1014-1014
选举年龄最大值
是
二元谓语
的
instance
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
如果
地缘政治区域
是
地缘政治区域
的
instance
和
持续时间
是
那个 地缘政治区域
的
suffrage
最大年纪,
然后 有存在
那个 持续时间
RULE 这样
那个 持续时间
RULE 是
选民年龄要求
的
instance
和
那个 持续时间
RULE 是
那个 地缘政治区域
的
regional
法律 的
subProposition
和
那个 持续时间
是
那个 地缘政治区域
的
suffrage
最大年纪
contains
那个 持续时间
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
的
instance
和
过程
是
那个 选举
的
voting
的
instance
和
另一个 施事体
是
那个 过程
的
agent
和
实数
年持续时间
是
那个 施事体
的
suffrage
最大年纪 和
那个 另外 施事体
的
age
是
另一个 实数
年持续时间
,
然后
那个 另外 实数
是
lessThanOrEqualTo
那个 实数
(=>
(
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
的
instance
和
过程
是
那个 选举
的
voting
的
instance
和
另一个 施事体
是
那个 过程
的
agent
和
实数
年持续时间
是
那个 施事体
的
suffrage
最大年纪,
然后 有存在
另一个 实数
这样
那个 另外 施事体
的
age
是
那个 另外 实数
年持续时间
和
那个 另外 实数
是
lessThanOrEqualTo
那个 实数
(=>
(
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
如果
实数
年持续时间
是
施事体
的
suffrage
最大年纪 和
选举
是
那个 施事体
的
election
的
instance
和
客体
能够担当
主事
的角色做
那个 选举
的
voting
和
那个 客体
的
age
是
另一个 实数
年持续时间
,
然后
那个 另外 实数
是
lessThanOrEqualTo
那个 实数
(=>
(
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
如果
实数
年持续时间
是
施事体
的
suffrage
最大年纪 和
选举
是
那个 施事体
的
election
的
instance
和
客体
能够担当
主事
的角色做
那个 选举
的
voting
,
然后 有存在
另一个 实数
这样
那个 客体
的
age
是
那个 另外 实数
年持续时间
和
那个 另外 实数
是
lessThanOrEqualTo
那个 实数
(=>
(
suffrageAgeMaximum
?AGENT ?AGE)
(
or
(
instance
?AGENT
Organization
)
(
instance
?AGENT
GeopoliticalArea
)))
Government.kif 1023-1027
如果
持续时间
是
那个 持续时间
NT 的
suffrage
最大年纪,
然后
那个 持续时间
NT 是
机构
的
instance
或
那个 持续时间
NT 是
地缘政治区域
的
instance
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
如果
地缘政治区域
是
地缘政治区域
的
instance
和
持续时间
是
那个 地缘政治区域
的
suffrage
最大年纪,
然后 有存在
那个 持续时间
RULE 这样
那个 持续时间
RULE 是
选民年龄要求
的
instance
和
那个 持续时间
RULE 是
那个 地缘政治区域
的
regional
法律 的
subProposition
和
那个 持续时间
是
那个 地缘政治区域
的
suffrage
最大年纪
contains
那个 持续时间
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