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
RegionalLawFn
の数値 1 引数は
地政学的地域
の
instance
では %n
(
instance
RegionalLawFn
UnaryFunction
)
Government.kif 881-881
RegionalLawFn
は
1変数関数
の
instance
では %n
(
range
RegionalLawFn
RegionalLaw
)
Government.kif 883-883
RegionalLawFn
の
range
は
RegionalLaw
のインスタンス では %n
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
では %n
UniversalSuffrageLaw
は
RegionalLawFn
国民
の
sub
-proposition では %n
RegionalLawFn
国民
は
人[人間]
が
エンティティー
エンティティー
and
エンティティー
人[人間]
は
国民
% の
citizen
では %n
suffrageAgeMinimum
国民
and
エンティティー
の
YearDuration
(s)
人[人間]
の
age
は
エンティティー
の
YearDuration
(s) では
エンティティー
は
エンティティー
greater
では %n
エンティティー
は
ElectionFn
国民
の
instance
では %n
エンティティー
エンティティー
は
VotingFn
エンティティー
の
instance
では %n
人[人間]
は
エンティティー
の
agent
では %n
のタスクを実行することはを
allow
s %n{ない}
(=>
(
and
(
instance
?CAO
CivilAffairsOperation
)
(
located
?CAO ?NATION)
(
instance
?NATION
Nation
)
(
instance
?LAW
(
RegionalLawFn
?NATION))
(
realization
?CAO ?CONTENT))
(
consistent
?LAW ?CONTENT))
MilitaryProcesses.kif 2244-2252
工程
は
CivilAffairsOperation
の
instance
では %n
工程
は
地政学的地域
に
located
して %n
地政学的地域
は
国民
の
instance
では %n
命題
は
RegionalLawFn
地政学的地域
の
instance
では %n
工程
は
命題
の内容を
express
es %n{ない}
consistent
命題
and
命題
(=>
(
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
CompulsorySuffrageLaw
は
RegionalLawFn
国民
の
sub
-proposition では %n
人[人間]
は
国民
% の
citizen
では %n
suffrageAgeMinimum
国民
and
実数
の
YearDuration
(s)
人[人間]
の
age
は
実数
の
YearDuration
(s) では
実数
は
実数
greater
では %n
Election
は
ElectionFn
国民
の
instance
では %n
工程
工程
は
VotingFn
Election
の
instance
では %n
人[人間]
は
工程
の
agent
では %n
(=>
(
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
CompulsorySuffrageLaw
は
RegionalLawFn
国民
の
sub
-proposition では %n
人[人間]
は
国民
% の
citizen
では %n
RegionalLawFn
国民
は
人[人間]
にタイプ
エンティティー
エンティティー
and
エンティティー
人[人間]
は
国民
% の
citizen
では %n
suffrageAgeMinimum
国民
and
エンティティー
の
YearDuration
(s)
人[人間]
の
age
は
エンティティー
の
YearDuration
(s) では
エンティティー
は
エンティティー
greater
では %n
エンティティー
は
ElectionFn
国民
の
instance
では %n
エンティティー
エンティティー
は
VotingFn
エンティティー
の
instance
では %n
人[人間]
は
エンティティー
の
agent
では %n
のタスクを実行する
obligate
s %n{ない}
(=>
(
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
ExclusiveMaleSuffrage
は
RegionalLawFn
地政学的地域
の
sub
-proposition では %n
Female
は
オブジェクト
の
attribute
では %n
オブジェクト
は
ResidentFn
地政学的地域
の
member
では %n
Election
は
Election
の
instance
では %n
オブジェクト
は
VotingFn
Election
を
agent
として行う
capable
では
(=>
(
and
(
subProposition
ExclusiveMaleSuffrage
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY)
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT))
(
attribute
?AGENT
Male
))
Government.kif 1250-1256
ExclusiveMaleSuffrage
は
RegionalLawFn
国民
の
sub
-proposition では %n
人[人間]
は
国民
% の
citizen
では %n
Election
は
ElectionFn
国民
の
instance
では %n
人[人間]
は
VotingFn
Election
を
agent
として行う
capable
では %n
Male
は
人[人間]
の
attribute
では %n
(=>
(
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
ExclusiveMaleSuffrage
は
RegionalLawFn
国民
の
sub
-proposition では %n
人[人間]
は
国民
% の
citizen
では %n
Election
は
ElectionFn
国民
の
instance
では %n
工程
は
VotingFn
Election
の
instance
では %n
人[人間]
は
工程
の
agent
では %n
Male
は
人[人間]
の
attribute
では %n
(=>
(
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
UniversalSuffrageLaw
は
RegionalLawFn
国民
の
sub
-proposition では %n
人[人間]
は
国民
% の
citizen
では %n
suffrageAgeMinimum
国民
and
実数
の
YearDuration
(s)
人[人間]
の
age
は
実数
の
YearDuration
(s) では
実数
は
実数
greater
では %n
Election
は
ElectionFn
国民
の
instance
では %n
人[人間]
は
VotingFn
Election
を
agent
として行う
capable
では %n
(=>
(
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
CompulsorySuffrageLaw
は
RegionalLawFn
地政学的地域
の
sub
-proposition では %n
RegionalLawFn
地政学的地域
は
地政学的地域
にタイプ
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
地政学的地域
% の
citizen
では %n
suffrageAgeMinimum
地政学的地域
and
エンティティー
の
YearDuration
(s)
エンティティー
の
age
は
エンティティー
の
YearDuration
(s) では
エンティティー
は
エンティティー
greater
では %n
エンティティー
は
ElectionFn
地政学的地域
の
instance
では %n
エンティティー
エンティティー
は
VotingFn
エンティティー
の
instance
では %n
エンティティー
は
エンティティー
の
agent
では %n
のタスクを実行する
obligate
s %n{ない}
(=>
(
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
UniversalSuffrageLaw
は
RegionalLawFn
国民
の
sub
-proposition では %n
人[人間]
Election
,
実数
and
実数
人[人間]
は
国民
% の
citizen
では %n
suffrageAgeMinimum
国民
and
実数
の
YearDuration
(s)
人[人間]
の
age
は
実数
の
YearDuration
(s) では
実数
は
実数
greater
では %n
Election
は
ElectionFn
国民
の
instance
では %n
人[人間]
は
VotingFn
Election
を
agent
として行う
capable
では %n
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
では %n
UniversalSuffrageLaw
は
RegionalLawFn
国民
の
sub
-proposition では %n
RegionalLawFn
国民
は
人[人間]
が
エンティティー
エンティティー
and
エンティティー
人[人間]
は
国民
% の
citizen
では %n
suffrageAgeMinimum
国民
and
エンティティー
の
YearDuration
(s)
人[人間]
の
age
は
エンティティー
の
YearDuration
(s) では
エンティティー
は
エンティティー
greater
では %n
エンティティー
は
ElectionFn
国民
の
instance
では %n
エンティティー
エンティティー
は
VotingFn
エンティティー
の
instance
では %n
人[人間]
は
エンティティー
の
agent
では %n
のタスクを実行することはを
allow
s %n{ない}
(=>
(
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
では %n
suffrageAgeMaximum
地政学的地域
and
時間分
時間分
RULE
時間分
RULE は
VoterAgeRequirement
の
instance
では %n
時間分
RULE は
RegionalLawFn
地政学的地域
の
sub
-proposition では %n
suffrageAgeMaximum
地政学的地域
and
時間分
は
時間分
RULE の情報を
contain
s %n{ない}
(=>
(
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
では %n
suffrageAgeMinimum
地政学的地域
and
時間分
時間分
RULE
時間分
RULE は
VoterAgeRequirement
の
instance
では %n
時間分
RULE は
RegionalLawFn
地政学的地域
の
sub
-proposition では %n
suffrageAgeMinimum
地政学的地域
and
時間分
は
時間分
RULE の情報を
contain
s %n{ない}
(=>
(
and
(
instance
?COUNTRY
GeopoliticalArea
)
(
governmentType
?COUNTRY
Democracy
))
(
subProposition
VoterCitizenshipRequirement
(
RegionalLawFn
?COUNTRY)))
Government.kif 917-921
地政学的地域
は
地政学的地域
の
instance
では %n
governmentType
地政学的地域
and
Democracy
VoterCitizenshipRequirement
は
RegionalLawFn
地政学的地域
の
sub
-proposition では %n
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
governmentType
?COUNTRY
Democracy
))
(
exists
(?SUFFRAGE)
(
and
(
instance
?SUFFRAGE
SuffrageLaw
)
(
subProposition
?SUFFRAGE
(
RegionalLawFn
?COUNTRY)))))
Government.kif 906-913
地政学的地域
は
国民
の
instance
では %n
governmentType
地政学的地域
and
Democracy
命題
命題
は
SuffrageLaw
の
instance
では %n
命題
は
RegionalLawFn
地政学的地域
の
sub
-proposition では %n
(=>
(
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
CompulsorySuffrageLaw
は
RegionalLawFn
国民
の
sub
-proposition では %n
人[人間]
は
国民
% の
citizen
では %n
RegionalLawFn
国民
は
人[人間]
にタイプ
エンティティー
エンティティー
and
エンティティー
人[人間]
は
国民
% の
citizen
では %n
suffrageAgeMinimum
国民
and
エンティティー
の
YearDuration
(s)
人[人間]
の
age
は
エンティティー
の
YearDuration
(s) では
エンティティー
は
エンティティー
greater
では %n
エンティティー
は
ElectionFn
国民
の
instance
では %n
エンティティー
エンティティー
は
VotingFn
エンティティー
の
instance
では %n
人[人間]
は
エンティティー
の
agent
では %n
のタスクを実行する
obligate
s %n{ない}
(=>
(
instance
?COUNTRY
Nation
)
(
exists
(?AGERULE)
(
and
(
instance
?AGERULE
VoterAgeRequirement
)
(
subProposition
?AGERULE
(
RegionalLawFn
?COUNTRY)))))
Government.kif 935-940
地政学的地域
は
国民
の
instance
では %n
命題
命題
は
VoterAgeRequirement
の
instance
では %n
命題
は
RegionalLawFn
地政学的地域
の
sub
-proposition では %n
(=>
(
legalSystemType
?AREA ?TYPE)
(
attribute
(
RegionalLawFn
?AREA) ?TYPE))
Government.kif 891-893
legalSystemType
地政学的地域
and
LegalSystemAttribute
LegalSystemAttribute
は
RegionalLawFn
地政学的地域
の
attribute
では %n
(=>
(
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
CompulsorySuffrageLaw
は
RegionalLawFn
地政学的地域
の
sub
-proposition では %n
RegionalLawFn
地政学的地域
は
地政学的地域
にタイプ
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
地政学的地域
% の
citizen
では %n
suffrageAgeMinimum
地政学的地域
and
エンティティー
の
YearDuration
(s)
エンティティー
の
age
は
エンティティー
の
YearDuration
(s) では
エンティティー
は
エンティティー
greater
では %n
エンティティー
は
ElectionFn
地政学的地域
の
instance
では %n
エンティティー
エンティティー
は
VotingFn
エンティティー
の
instance
では %n
エンティティー
は
エンティティー
の
agent
では %n
のタスクを実行する
obligate
s %n{ない}
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