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
RegionalLawFn
Sigma KEE - RegionalLawFn
RegionalLawFn
appearance as argument number 1
(
documentation
RegionalLawFn
EnglishLanguage
"(
RegionalLawFn
?AREA) denotes the laws pertaining in the
GeopoliticalArea
?AREA that are established and enforced by the
Government
of ?AREA. For example, (
RegionalLawFn
UnitedStates
) denotes the laws of the government of the
UnitedStates
and its constituent units.")
Government.kif 885-889
(
domain
RegionalLawFn
1
GeopoliticalArea
)
Government.kif 882-882
区域法
的 1 数量 是
地缘政治区域
的
instance
(
instance
RegionalLawFn
UnaryFunction
)
Government.kif 881-881
区域法
是
一元函数
的
instance
(
range
RegionalLawFn
RegionalLaw
)
Government.kif 883-883
区域法
的
range
是
区域法
的实例
appearance as argument number 2
(
format
ChineseLanguage
RegionalLawFn
"%1 的 regional 法律")
domainEnglishFormat.kif 2119-2119
(
format
ChineseTraditionalLanguage
RegionalLawFn
"%1 的 regional 法律")
domainEnglishFormat.kif 2118-2118
(
format
EnglishLanguage
RegionalLawFn
"the regional law of %1")
domainEnglishFormat.kif 2117-2117
(
termFormat
ChineseLanguage
RegionalLawFn
"区域法")
domainEnglishFormat.kif 49220-49220
(
termFormat
ChineseTraditionalLanguage
RegionalLawFn
"區域法")
domainEnglishFormat.kif 49219-49219
(
termFormat
EnglishLanguage
RegionalLawFn
"regional law")
domainEnglishFormat.kif 49218-49218
antecedent
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
subProposition
UniversalSuffrageLaw
(
RegionalLawFn
?POLITY)))
(
confersRight
(
forall
(?VOTINGAGE ?AGE ?ELECTION)
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?AGENT)))))
(
RegionalLawFn
?POLITY) ?AGENT))
Government.kif 1132-1152
如果
人类
是
国家
的
citizen
和
普选法
是
那个 国家
的
regional
法律 的
subProposition
,
然后
那个 国家
的
regional
法律 允许
那个 人类
执行 对所有
实体
,
另一个 实体
, and 和
第三 实体
如果
那个 人类
是
那个 国家
的
citizen
和
那个 实体
年持续时间
是
那个 国家
的
suffrage
最小年纪 和
那个 人类
的
age
是
那个 另外 实体
年持续时间
和
那个 另外 实体
是
greaterThanOrEqualTo
那个 实体
和
那个 第三 实体
是
那个 国家
的
election
的
instance
,
然后 有存在
第四 实体
这样
那个 第四 实体
是
那个 第三 实体
的
voting
的
instance
和
那个 人类
是
那个 第四 实体
的
agent
的任务
(=>
(
and
(
instance
?CAO
CivilAffairsOperation
)
(
located
?CAO ?NATION)
(
instance
?NATION
Nation
)
(
instance
?LAW
(
RegionalLawFn
?NATION))
(
realization
?CAO ?CONTENT))
(
consistent
?LAW ?CONTENT))
MilitaryProcesses.kif 2244-2252
如果
过程
是
民政运作
的
instance
和
那个 过程
是
located
在
地缘政治区域
和
那个 地缘政治区域
是
国家
的
instance
和
命题
是
那个 地缘政治区域
的
regional
法律 的
instance
和
那个 过程
表示
另一个 命题
的内容,
然后
那个 另外 命题
是
那个 命题
的
consistent
(=>
(
and
(
subProposition
CompulsorySuffrageLaw
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?AGENT))))
Government.kif 1176-1189
如果
强制选举法
是
国家
的
regional
法律 的
subProposition
和
人类
是
那个 国家
的
citizen
和
实数
年持续时间
是
那个 国家
的
suffrage
最小年纪 和
那个 人类
的
age
是
另一个 实数
年持续时间
和
那个 另外 实数
是
greaterThanOrEqualTo
那个 实数
和
选举
是
那个 国家
的
election
的
instance
,
然后 有存在
过程
这样
那个 过程
是
那个 选举
的
voting
的
instance
和
那个 人类
是
那个 过程
的
agent
(=>
(
and
(
subProposition
CompulsorySuffrageLaw
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY))
(
confersObligation
(
forall
(?VOTINGAGE ?AGE ?ELECTION)
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?AGENT)))))
(
RegionalLawFn
?POLITY) ?AGENT))
Government.kif 1211-1231
如果
强制选举法
是
国家
的
regional
法律 的
subProposition
和
人类
是
那个 国家
的
citizen
,
然后
那个 国家
的
regional
法律 要求
那个 人类
执行 对所有
实体
,
另一个 实体
, and 和
第三 实体
如果
那个 人类
是
那个 国家
的
citizen
和
那个 实体
年持续时间
是
那个 国家
的
suffrage
最小年纪 和
那个 人类
的
age
是
那个 另外 实体
年持续时间
和
那个 另外 实体
是
greaterThanOrEqualTo
那个 实体
和
那个 第三 实体
是
那个 国家
的
election
的
instance
,
然后 有存在
第四 实体
这样
那个 第四 实体
是
那个 第三 实体
的
voting
的
instance
和
那个 人类
是
那个 第四 实体
的
agent
的任务
(=>
(
and
(
subProposition
ExclusiveMaleSuffrage
(
RegionalLawFn
?AREA))
(
attribute
?AGENT
Female
)
(
member
?AGENT
(
ResidentFn
?AREA))
(
instance
?ELECTION
Election
))
(
not
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT)))
Government.kif 1267-1273
如果
独家男性选举权
是
地缘政治区域
的
regional
法律 的
subProposition
和
女
是
客体
的
attribute
和
那个 客体
是
那个 地缘政治区域
的
resident
的
member
和
选举
是
选举
的
instance
,
然后
那个 客体
不 能够担当
主事
的角色做
那个 选举
的
voting
(=>
(
and
(
subProposition
ExclusiveMaleSuffrage
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY)
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT))
(
attribute
?AGENT
Male
))
Government.kif 1250-1256
如果
独家男性选举权
是
国家
的
regional
法律 的
subProposition
和
人类
是
那个 国家
的
citizen
和
选举
是
那个 国家
的
election
的
instance
和
那个 人类
能够担当
主事
的角色做
那个 选举
的
voting
,
然后
男
是
那个 人类
的
attribute
(=>
(
and
(
subProposition
ExclusiveMaleSuffrage
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY)
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
instance
?ACT
(
VotingFn
?ELECTION))
(
agent
?ACT ?AGENT))
(
attribute
?AGENT
Male
))
Government.kif 1258-1265
如果
独家男性选举权
是
国家
的
regional
法律 的
subProposition
和
人类
是
那个 国家
的
citizen
和
选举
是
那个 国家
的
election
的
instance
和
过程
是
那个 选举
的
voting
的
instance
和
那个 人类
是
那个 过程
的
agent
,
然后
男
是
那个 人类
的
attribute
(=>
(
and
(
subProposition
UniversalSuffrageLaw
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT))
Government.kif 1120-1130
如果
普选法
是
国家
的
regional
法律 的
subProposition
和
人类
是
那个 国家
的
citizen
和
实数
年持续时间
是
那个 国家
的
suffrage
最小年纪 和
那个 人类
的
age
是
另一个 实数
年持续时间
和
那个 另外 实数
是
greaterThanOrEqualTo
那个 实数
和
选举
是
那个 国家
的
election
的
instance
,
然后
那个 人类
能够担当
主事
的角色做
那个 选举
的
voting
(=>
(
subProposition
CompulsorySuffrageLaw
(
RegionalLawFn
?POLITY))
(
confersObligation
(
forall
(?AGENT ?VOTINGAGE ?AGE ?ELECTION)
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?AGENT)))))
(
RegionalLawFn
?POLITY) ?POLITY))
Government.kif 1191-1209
如果
强制选举法
是
地缘政治区域
的
regional
法律 的
subProposition
,
然后
那个 地缘政治区域
的
regional
法律 要求
那个 地缘政治区域
执行 对所有
实体
,
另一个 实体
,, ,
第三 实体
, and 和
第四 实体
如果
那个 实体
是
那个 地缘政治区域
的
citizen
和
那个 另外 实体
年持续时间
是
那个 地缘政治区域
的
suffrage
最小年纪 和
那个 实体
的
age
是
那个 第三 实体
年持续时间
和
那个 第三 实体
是
greaterThanOrEqualTo
那个 另外 实体
和
那个 第四 实体
是
那个 地缘政治区域
的
election
的
instance
,
然后 有存在
第五 实体
这样
那个 第五 实体
是
那个 第四 实体
的
voting
的
instance
和
那个 实体
是
那个 第五 实体
的
agent
的任务
(=>
(
subProposition
UniversalSuffrageLaw
(
RegionalLawFn
?POLITY))
(
forall
(?AGENT ?ELECTION ?VOTINGAGE ?AGE)
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT))))
Government.kif 1106-1118
如果
普选法
是
国家
的
regional
法律 的
subProposition
,
然后 对所有
人类
,
选举
,, ,
实数
, and 和
另一个 实数
如果
那个 人类
是
那个 国家
的
citizen
和
那个 实数
年持续时间
是
那个 国家
的
suffrage
最小年纪 和
那个 人类
的
age
是
那个 另外 实数
年持续时间
和
那个 另外 实数
是
greaterThanOrEqualTo
那个 实数
和
那个 选举
是
那个 国家
的
election
的
instance
,
然后
那个 人类
能够担当
主事
的角色做
那个 选举
的
voting
consequent
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
subProposition
UniversalSuffrageLaw
(
RegionalLawFn
?POLITY)))
(
confersRight
(
forall
(?VOTINGAGE ?AGE ?ELECTION)
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?AGENT)))))
(
RegionalLawFn
?POLITY) ?AGENT))
Government.kif 1132-1152
如果
人类
是
国家
的
citizen
和
普选法
是
那个 国家
的
regional
法律 的
subProposition
,
然后
那个 国家
的
regional
法律 允许
那个 人类
执行 对所有
实体
,
另一个 实体
, and 和
第三 实体
如果
那个 人类
是
那个 国家
的
citizen
和
那个 实体
年持续时间
是
那个 国家
的
suffrage
最小年纪 和
那个 人类
的
age
是
那个 另外 实体
年持续时间
和
那个 另外 实体
是
greaterThanOrEqualTo
那个 实体
和
那个 第三 实体
是
那个 国家
的
election
的
instance
,
然后 有存在
第四 实体
这样
那个 第四 实体
是
那个 第三 实体
的
voting
的
instance
和
那个 人类
是
那个 第四 实体
的
agent
的任务
(=>
(
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
?AREA
GeopoliticalArea
)
(
suffrageAgeMinimum
?AREA ?AGE))
(
exists
(?AGERULE)
(
and
(
instance
?AGERULE
VoterAgeRequirement
)
(
subProposition
?AGERULE
(
RegionalLawFn
?AREA))
(
containsInformation
(
suffrageAgeMinimum
?AREA ?AGE) ?AGERULE))))
Government.kif 957-966
如果
地缘政治区域
是
地缘政治区域
的
instance
和
持续时间
是
那个 地缘政治区域
的
suffrage
最小年纪,
然后 有存在
那个 持续时间
RULE 这样
那个 持续时间
RULE 是
选民年龄要求
的
instance
和
那个 持续时间
RULE 是
那个 地缘政治区域
的
regional
法律 的
subProposition
和
那个 持续时间
是
那个 地缘政治区域
的
suffrage
最小年纪
contains
那个 持续时间
RULE 的资料
(=>
(
and
(
instance
?COUNTRY
GeopoliticalArea
)
(
governmentType
?COUNTRY
Democracy
))
(
subProposition
VoterCitizenshipRequirement
(
RegionalLawFn
?COUNTRY)))
Government.kif 917-921
如果
地缘政治区域
是
地缘政治区域
的
instance
和 %2 是 1% 的
government
类别,
然后
选民公民身份要求
是
那个 地缘政治区域
的
regional
法律 的
subProposition
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
governmentType
?COUNTRY
Democracy
))
(
exists
(?SUFFRAGE)
(
and
(
instance
?SUFFRAGE
SuffrageLaw
)
(
subProposition
?SUFFRAGE
(
RegionalLawFn
?COUNTRY)))))
Government.kif 906-913
如果
地缘政治区域
是
国家
的
instance
和 %2 是 1% 的
government
类别,
然后 有存在
命题
这样
那个 命题
是
选举法
的
instance
和
那个 命题
是
那个 地缘政治区域
的
regional
法律 的
subProposition
(=>
(
and
(
subProposition
CompulsorySuffrageLaw
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY))
(
confersObligation
(
forall
(?VOTINGAGE ?AGE ?ELECTION)
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?AGENT)))))
(
RegionalLawFn
?POLITY) ?AGENT))
Government.kif 1211-1231
如果
强制选举法
是
国家
的
regional
法律 的
subProposition
和
人类
是
那个 国家
的
citizen
,
然后
那个 国家
的
regional
法律 要求
那个 人类
执行 对所有
实体
,
另一个 实体
, and 和
第三 实体
如果
那个 人类
是
那个 国家
的
citizen
和
那个 实体
年持续时间
是
那个 国家
的
suffrage
最小年纪 和
那个 人类
的
age
是
那个 另外 实体
年持续时间
和
那个 另外 实体
是
greaterThanOrEqualTo
那个 实体
和
那个 第三 实体
是
那个 国家
的
election
的
instance
,
然后 有存在
第四 实体
这样
那个 第四 实体
是
那个 第三 实体
的
voting
的
instance
和
那个 人类
是
那个 第四 实体
的
agent
的任务
(=>
(
instance
?COUNTRY
Nation
)
(
exists
(?AGERULE)
(
and
(
instance
?AGERULE
VoterAgeRequirement
)
(
subProposition
?AGERULE
(
RegionalLawFn
?COUNTRY)))))
Government.kif 935-940
如果
地缘政治区域
是
国家
的
instance
,
然后 有存在
命题
这样
那个 命题
是
选民年龄要求
的
instance
和
那个 命题
是
那个 地缘政治区域
的
regional
法律 的
subProposition
(=>
(
legalSystemType
?AREA ?TYPE)
(
attribute
(
RegionalLawFn
?AREA) ?TYPE))
Government.kif 891-893
如果
法律制度属性
是
地缘政治区域
legal
系统,
然后
那个 法律制度属性
是
那个 地缘政治区域
的
regional
法律 的
attribute
(=>
(
subProposition
CompulsorySuffrageLaw
(
RegionalLawFn
?POLITY))
(
confersObligation
(
forall
(?AGENT ?VOTINGAGE ?AGE ?ELECTION)
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?AGENT)))))
(
RegionalLawFn
?POLITY) ?POLITY))
Government.kif 1191-1209
如果
强制选举法
是
地缘政治区域
的
regional
法律 的
subProposition
,
然后
那个 地缘政治区域
的
regional
法律 要求
那个 地缘政治区域
执行 对所有
实体
,
另一个 实体
,, ,
第三 实体
, and 和
第四 实体
如果
那个 实体
是
那个 地缘政治区域
的
citizen
和
那个 另外 实体
年持续时间
是
那个 地缘政治区域
的
suffrage
最小年纪 和
那个 实体
的
age
是
那个 第三 实体
年持续时间
和
那个 第三 实体
是
greaterThanOrEqualTo
那个 另外 实体
和
那个 第四 实体
是
那个 地缘政治区域
的
election
的
instance
,
然后 有存在
第五 实体
这样
那个 第五 实体
是
那个 第四 实体
的
voting
的
instance
和
那个 实体
是
那个 第五 实体
的
agent
的任务
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