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 and
GeopoliticalArea
(
instance
RegionalLawFn
UnaryFunction
)
Government.kif 881-881
例
區域法
and
UnaryFunction
(
range
RegionalLawFn
RegionalLaw
)
Government.kif 883-883
範圍
區域法
and
區域法
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
公民
Human
and
Nation
次提案
普選法
and
Nation
的
regional
法律
賦予權利
entity
entity
and
entity
公民
Human
and
Nation
測量
entity
and
年持續時間
是
Nation
的
suffrage
最小年紀
年齡
Human
and
測量
entity
and
年持續時間
大於或等於
entity
and
entity
例
entity
and
Nation
的
election
entity
例
entity
and
entity
的
voting
agent
entity
and
Human
,
Nation
的
regional
法律 and
Human
(=>
(
and
(
instance
?CAO
CivilAffairsOperation
)
(
located
?CAO ?NATION)
(
instance
?NATION
Nation
)
(
instance
?LAW
(
RegionalLawFn
?NATION))
(
realization
?CAO ?CONTENT))
(
consistent
?LAW ?CONTENT))
MilitaryProcesses.kif 2244-2252
例
Process
and
民政運作
位於
Process
and
GeopoliticalArea
例
GeopoliticalArea
and
Nation
例
Proposition
and
GeopoliticalArea
的
regional
法律
實現
Process
and
Proposition
Proposition
是
Proposition
的
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
次提案
強制選舉法
and
Nation
的
regional
法律
公民
Human
and
Nation
測量
RealNumber
and
年持續時間
是
Nation
的
suffrage
最小年紀
年齡
Human
and
測量
RealNumber
and
年持續時間
大於或等於
RealNumber
and
RealNumber
例
選舉
and
Nation
的
election
Process
例
Process
and
選舉
的
voting
agent
Process
and
Human
(=>
(
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
次提案
強制選舉法
and
Nation
的
regional
法律
公民
Human
and
Nation
授予義務
entity
entity
and
entity
公民
Human
and
Nation
測量
entity
and
年持續時間
是
Nation
的
suffrage
最小年紀
年齡
Human
and
測量
entity
and
年持續時間
大於或等於
entity
and
entity
例
entity
and
Nation
的
election
entity
例
entity
and
entity
的
voting
agent
entity
and
Human
,
Nation
的
regional
法律 and
Human
(=>
(
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
次提案
獨家男性選舉權
and
GeopoliticalArea
的
regional
法律
attribute
Object
and
女
會員
Object
and
GeopoliticalArea
的
resident
例
選舉
and
選舉
能力
選舉
的
voting
,
agent
and
Object
(=>
(
and
(
subProposition
ExclusiveMaleSuffrage
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY)
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT))
(
attribute
?AGENT
Male
))
Government.kif 1250-1256
次提案
獨家男性選舉權
and
Nation
的
regional
法律
公民
Human
and
Nation
例
選舉
and
Nation
的
election
能力
選舉
的
voting
,
agent
and
Human
attribute
Human
and
男
(=>
(
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
次提案
獨家男性選舉權
and
Nation
的
regional
法律
公民
Human
and
Nation
例
選舉
and
Nation
的
election
例
Process
and
選舉
的
voting
agent
Process
and
Human
attribute
Human
and
男
(=>
(
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
次提案
普選法
and
Nation
的
regional
法律
公民
Human
and
Nation
測量
RealNumber
and
年持續時間
是
Nation
的
suffrage
最小年紀
年齡
Human
and
測量
RealNumber
and
年持續時間
大於或等於
RealNumber
and
RealNumber
例
選舉
and
Nation
的
election
能力
選舉
的
voting
,
agent
and
Human
(=>
(
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
次提案
強制選舉法
and
GeopoliticalArea
的
regional
法律
授予義務
entity
entity
,
entity
and
entity
公民
entity
and
GeopoliticalArea
測量
entity
and
年持續時間
是
GeopoliticalArea
的
suffrage
最小年紀
年齡
entity
and
測量
entity
and
年持續時間
大於或等於
entity
and
entity
例
entity
and
GeopoliticalArea
的
election
entity
例
entity
and
entity
的
voting
agent
entity
and
entity
,
GeopoliticalArea
的
regional
法律 and
GeopoliticalArea
(=>
(
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
次提案
普選法
and
Nation
的
regional
法律
Human
選舉
,
RealNumber
and
RealNumber
公民
Human
and
Nation
測量
RealNumber
and
年持續時間
是
Nation
的
suffrage
最小年紀
年齡
Human
and
測量
RealNumber
and
年持續時間
大於或等於
RealNumber
and
RealNumber
例
選舉
and
Nation
的
election
能力
選舉
的
voting
,
agent
and
Human
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
公民
Human
and
Nation
次提案
普選法
and
Nation
的
regional
法律
賦予權利
entity
entity
and
entity
公民
Human
and
Nation
測量
entity
and
年持續時間
是
Nation
的
suffrage
最小年紀
年齡
Human
and
測量
entity
and
年持續時間
大於或等於
entity
and
entity
例
entity
and
Nation
的
election
entity
例
entity
and
entity
的
voting
agent
entity
and
Human
,
Nation
的
regional
法律 and
Human
(=>
(
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
例
GeopoliticalArea
and
GeopoliticalArea
TimeDuration
是
GeopoliticalArea
的
suffrage
最大年紀
TimeDuration
RULE
例
TimeDuration
RULE and
選民年齡要求
次提案
TimeDuration
RULE and
GeopoliticalArea
的
regional
法律
包含信息
TimeDuration
是
GeopoliticalArea
的
suffrage
最大年紀 and
TimeDuration
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
例
GeopoliticalArea
and
GeopoliticalArea
TimeDuration
是
GeopoliticalArea
的
suffrage
最小年紀
TimeDuration
RULE
例
TimeDuration
RULE and
選民年齡要求
次提案
TimeDuration
RULE and
GeopoliticalArea
的
regional
法律
包含信息
TimeDuration
是
GeopoliticalArea
的
suffrage
最小年紀 and
TimeDuration
RULE
(=>
(
and
(
instance
?COUNTRY
GeopoliticalArea
)
(
governmentType
?COUNTRY
Democracy
))
(
subProposition
VoterCitizenshipRequirement
(
RegionalLawFn
?COUNTRY)))
Government.kif 917-921
例
GeopoliticalArea
and
GeopoliticalArea
%2 是 1% 的
government
類別
次提案
選民公民身份要求
and
GeopoliticalArea
的
regional
法律
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
governmentType
?COUNTRY
Democracy
))
(
exists
(?SUFFRAGE)
(
and
(
instance
?SUFFRAGE
SuffrageLaw
)
(
subProposition
?SUFFRAGE
(
RegionalLawFn
?COUNTRY)))))
Government.kif 906-913
例
GeopoliticalArea
and
Nation
%2 是 1% 的
government
類別
Proposition
例
Proposition
and
選舉法
次提案
Proposition
and
GeopoliticalArea
的
regional
法律
(=>
(
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
次提案
強制選舉法
and
Nation
的
regional
法律
公民
Human
and
Nation
授予義務
entity
entity
and
entity
公民
Human
and
Nation
測量
entity
and
年持續時間
是
Nation
的
suffrage
最小年紀
年齡
Human
and
測量
entity
and
年持續時間
大於或等於
entity
and
entity
例
entity
and
Nation
的
election
entity
例
entity
and
entity
的
voting
agent
entity
and
Human
,
Nation
的
regional
法律 and
Human
(=>
(
instance
?COUNTRY
Nation
)
(
exists
(?AGERULE)
(
and
(
instance
?AGERULE
VoterAgeRequirement
)
(
subProposition
?AGERULE
(
RegionalLawFn
?COUNTRY)))))
Government.kif 935-940
例
GeopoliticalArea
and
Nation
Proposition
例
Proposition
and
選民年齡要求
次提案
Proposition
and
GeopoliticalArea
的
regional
法律
(=>
(
legalSystemType
?AREA ?TYPE)
(
attribute
(
RegionalLawFn
?AREA) ?TYPE))
Government.kif 891-893
法律制度屬性
是
GeopoliticalArea
legal
系統
attribute
GeopoliticalArea
的
regional
法律 and
法律制度屬性
(=>
(
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
次提案
強制選舉法
and
GeopoliticalArea
的
regional
法律
授予義務
entity
entity
,
entity
and
entity
公民
entity
and
GeopoliticalArea
測量
entity
and
年持續時間
是
GeopoliticalArea
的
suffrage
最小年紀
年齡
entity
and
測量
entity
and
年持續時間
大於或等於
entity
and
entity
例
entity
and
GeopoliticalArea
的
election
entity
例
entity
and
entity
的
voting
agent
entity
and
entity
,
GeopoliticalArea
的
regional
法律 and
GeopoliticalArea
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