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
O argumento numero 1 de
RegionalLawFn
e' uma
instancia
de
Area Geopolitica
(
instance
RegionalLawFn
UnaryFunction
)
Government.kif 881-881
RegionalLawFn
e' uma
instancia
de
funcao Unaria
(
range
RegionalLawFn
RegionalLaw
)
Government.kif 883-883
O
contra
-dominio de
RegionalLawFn
e' uma instancia de
RegionalLaw
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
Humano
e' um
cidadao
de
Nacao
UniversalSuffrageLaw
e' uma &sub-proposicao de
RegionalLawFn
Nacao
RegionalLawFn
Nacao
autoriza
Humano
a executar tarefas de tipo
Entidade
Entidade
and
Entidade
Humano
e' um
cidadao
de
Nacao
suffrageAgeMinimum
Nacao
and
Entidade
YearDuration
(s) a
idade
de
Humano
e'
Entidade
YearDuration
(s)
Entidade
e'
maior
ou igual a
Entidade
Entidade
e' uma
instancia
de
ElectionFn
Nacao
Entidade
Entidade
e' uma
instancia
de
VotingFn
Entidade
Entidade
e' um
agente
de
Humano
(=>
(
and
(
instance
?CAO
CivilAffairsOperation
)
(
located
?CAO ?NATION)
(
instance
?NATION
Nation
)
(
instance
?LAW
(
RegionalLawFn
?NATION))
(
realization
?CAO ?CONTENT))
(
consistent
?LAW ?CONTENT))
MilitaryProcesses.kif 2244-2252
Processo
e' uma
instancia
de
CivilAffairsOperation
Processo
e'
situado
em
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Nacao
Proposicao
e' uma
instancia
de
RegionalLawFn
Area Geopolitica
Processo
exprime
o conteudo de
Proposicao
consistent
Proposicao
and
Proposicao
(=>
(
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
e' uma &sub-proposicao de
RegionalLawFn
Nacao
Humano
e' um
cidadao
de
Nacao
suffrageAgeMinimum
Nacao
and
Numero Real
YearDuration
(s) a
idade
de
Humano
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a
Numero Real
Election
e' uma
instancia
de
ElectionFn
Nacao
Processo
Processo
e' uma
instancia
de
VotingFn
Election
Processo
e' um
agente
de
Humano
(=>
(
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
e' uma &sub-proposicao de
RegionalLawFn
Nacao
Humano
e' um
cidadao
de
Nacao
RegionalLawFn
Nacao
obriga
Humano
a executar tarefas de tipo
Entidade
Entidade
and
Entidade
Humano
e' um
cidadao
de
Nacao
suffrageAgeMinimum
Nacao
and
Entidade
YearDuration
(s) a
idade
de
Humano
e'
Entidade
YearDuration
(s)
Entidade
e'
maior
ou igual a
Entidade
Entidade
e' uma
instancia
de
ElectionFn
Nacao
Entidade
Entidade
e' uma
instancia
de
VotingFn
Entidade
Entidade
e' um
agente
de
Humano
(=>
(
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
e' uma &sub-proposicao de
RegionalLawFn
Area Geopolitica
Female
e' um
atributo
de
Objeto
Objeto
e'
membro
de
ResidentFn
Area Geopolitica
Election
e' uma
instancia
de
Election
Objeto
e'
capaz
de fazer
VotingFn
Election
no role
agent
(=>
(
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
e' uma &sub-proposicao de
RegionalLawFn
Nacao
Humano
e' um
cidadao
de
Nacao
Election
e' uma
instancia
de
ElectionFn
Nacao
Humano
e'
capaz
de fazer
VotingFn
Election
no role
agent
Male
e' um
atributo
de
Humano
(=>
(
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
e' uma &sub-proposicao de
RegionalLawFn
Nacao
Humano
e' um
cidadao
de
Nacao
Election
e' uma
instancia
de
ElectionFn
Nacao
Processo
e' uma
instancia
de
VotingFn
Election
Processo
e' um
agente
de
Humano
Male
e' um
atributo
de
Humano
(=>
(
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
e' uma &sub-proposicao de
RegionalLawFn
Nacao
Humano
e' um
cidadao
de
Nacao
suffrageAgeMinimum
Nacao
and
Numero Real
YearDuration
(s) a
idade
de
Humano
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a
Numero Real
Election
e' uma
instancia
de
ElectionFn
Nacao
Humano
e'
capaz
de fazer
VotingFn
Election
no role
agent
(=>
(
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
e' uma &sub-proposicao de
RegionalLawFn
Area Geopolitica
RegionalLawFn
Area Geopolitica
obriga
Area Geopolitica
a executar tarefas de tipo
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' um
cidadao
de
Area Geopolitica
suffrageAgeMinimum
Area Geopolitica
and
Entidade
YearDuration
(s) a
idade
de
Entidade
e'
Entidade
YearDuration
(s)
Entidade
e'
maior
ou igual a
Entidade
Entidade
e' uma
instancia
de
ElectionFn
Area Geopolitica
Entidade
Entidade
e' uma
instancia
de
VotingFn
Entidade
Entidade
e' um
agente
de
Entidade
(=>
(
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
e' uma &sub-proposicao de
RegionalLawFn
Nacao
Humano
Election
,
Numero Real
and
Numero Real
Humano
e' um
cidadao
de
Nacao
suffrageAgeMinimum
Nacao
and
Numero Real
YearDuration
(s) a
idade
de
Humano
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a
Numero Real
Election
e' uma
instancia
de
ElectionFn
Nacao
Humano
e'
capaz
de fazer
VotingFn
Election
no role
agent
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
Humano
e' um
cidadao
de
Nacao
UniversalSuffrageLaw
e' uma &sub-proposicao de
RegionalLawFn
Nacao
RegionalLawFn
Nacao
autoriza
Humano
a executar tarefas de tipo
Entidade
Entidade
and
Entidade
Humano
e' um
cidadao
de
Nacao
suffrageAgeMinimum
Nacao
and
Entidade
YearDuration
(s) a
idade
de
Humano
e'
Entidade
YearDuration
(s)
Entidade
e'
maior
ou igual a
Entidade
Entidade
e' uma
instancia
de
ElectionFn
Nacao
Entidade
Entidade
e' uma
instancia
de
VotingFn
Entidade
Entidade
e' um
agente
de
Humano
(=>
(
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
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
suffrageAgeMaximum
Area Geopolitica
and
Duracao Temporal
Duracao Temporal
RULE
Duracao Temporal
RULE e' uma
instancia
de
VoterAgeRequirement
Duracao Temporal
RULE e' uma &sub-proposicao de
RegionalLawFn
Area Geopolitica
suffrageAgeMaximum
Area Geopolitica
and
Duracao Temporal
contem
informacao
Duracao Temporal
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
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
suffrageAgeMinimum
Area Geopolitica
and
Duracao Temporal
Duracao Temporal
RULE
Duracao Temporal
RULE e' uma
instancia
de
VoterAgeRequirement
Duracao Temporal
RULE e' uma &sub-proposicao de
RegionalLawFn
Area Geopolitica
suffrageAgeMinimum
Area Geopolitica
and
Duracao Temporal
contem
informacao
Duracao Temporal
RULE
(=>
(
and
(
instance
?COUNTRY
GeopoliticalArea
)
(
governmentType
?COUNTRY
Democracy
))
(
subProposition
VoterCitizenshipRequirement
(
RegionalLawFn
?COUNTRY)))
Government.kif 917-921
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
governmentType
Area Geopolitica
and
Democracy
VoterCitizenshipRequirement
e' uma &sub-proposicao de
RegionalLawFn
Area Geopolitica
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
governmentType
?COUNTRY
Democracy
))
(
exists
(?SUFFRAGE)
(
and
(
instance
?SUFFRAGE
SuffrageLaw
)
(
subProposition
?SUFFRAGE
(
RegionalLawFn
?COUNTRY)))))
Government.kif 906-913
Area Geopolitica
e' uma
instancia
de
Nacao
governmentType
Area Geopolitica
and
Democracy
Proposicao
Proposicao
e' uma
instancia
de
SuffrageLaw
Proposicao
e' uma &sub-proposicao de
RegionalLawFn
Area Geopolitica
(=>
(
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
e' uma &sub-proposicao de
RegionalLawFn
Nacao
Humano
e' um
cidadao
de
Nacao
RegionalLawFn
Nacao
obriga
Humano
a executar tarefas de tipo
Entidade
Entidade
and
Entidade
Humano
e' um
cidadao
de
Nacao
suffrageAgeMinimum
Nacao
and
Entidade
YearDuration
(s) a
idade
de
Humano
e'
Entidade
YearDuration
(s)
Entidade
e'
maior
ou igual a
Entidade
Entidade
e' uma
instancia
de
ElectionFn
Nacao
Entidade
Entidade
e' uma
instancia
de
VotingFn
Entidade
Entidade
e' um
agente
de
Humano
(=>
(
instance
?COUNTRY
Nation
)
(
exists
(?AGERULE)
(
and
(
instance
?AGERULE
VoterAgeRequirement
)
(
subProposition
?AGERULE
(
RegionalLawFn
?COUNTRY)))))
Government.kif 935-940
Area Geopolitica
e' uma
instancia
de
Nacao
Proposicao
Proposicao
e' uma
instancia
de
VoterAgeRequirement
Proposicao
e' uma &sub-proposicao de
RegionalLawFn
Area Geopolitica
(=>
(
legalSystemType
?AREA ?TYPE)
(
attribute
(
RegionalLawFn
?AREA) ?TYPE))
Government.kif 891-893
legalSystemType
Area Geopolitica
and
LegalSystemAttribute
LegalSystemAttribute
e' um
atributo
de
RegionalLawFn
Area Geopolitica
(=>
(
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
e' uma &sub-proposicao de
RegionalLawFn
Area Geopolitica
RegionalLawFn
Area Geopolitica
obriga
Area Geopolitica
a executar tarefas de tipo
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' um
cidadao
de
Area Geopolitica
suffrageAgeMinimum
Area Geopolitica
and
Entidade
YearDuration
(s) a
idade
de
Entidade
e'
Entidade
YearDuration
(s)
Entidade
e'
maior
ou igual a
Entidade
Entidade
e' uma
instancia
de
ElectionFn
Area Geopolitica
Entidade
Entidade
e' uma
instancia
de
VotingFn
Entidade
Entidade
e' um
agente
de
Entidade
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