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
GovernmentFn
Sigma KEE - GovernmentFn
GovernmentFn
appearance as argument number 1
(
documentation
GovernmentFn
ChineseLanguage
"(
GovernmentFn
?AREA)表示
GeopoliticalArea
?AREA 的
Government
。例如:(
GovernmentFn
UnitedStates
)表示美国的联邦政府, (
GovernmentFn
PuertoRico
)表示波多黎各联邦的政府。")
chinese_format.kif 3739-3741
(
documentation
GovernmentFn
EnglishLanguage
"(
GovernmentFn
?AREA) denotes the
Government
of the
GeopoliticalArea
?AREA. For example, (
GovernmentFn
UnitedStates
) denotes the Federal-level government of the United States, (
GovernmentFn
PuertoRico
) denotes the government of the Commonwealth of Puerto Rico.")
Merge.kif 16785-16789
(
domain
GovernmentFn
1
GeopoliticalArea
)
Merge.kif 16783-16783
O argumento numero 1 de
GovernmentFn
e' uma
instancia
de
Area Geopolitica
(
instance
GovernmentFn
PartialValuedRelation
)
Merge.kif 16782-16782
GovernmentFn
e' uma
instancia
de
Relacao Parcial
(
instance
GovernmentFn
UnaryFunction
)
Merge.kif 16781-16781
GovernmentFn
e' uma
instancia
de
funcao Unaria
(
range
GovernmentFn
Government
)
Merge.kif 16784-16784
O
contra
-dominio de
GovernmentFn
e' uma instancia de
Governo
appearance as argument number 2
(
format
ChineseLanguage
GovernmentFn
"%1 的
Government
")
chinese_format.kif 802-802
(
format
EnglishLanguage
GovernmentFn
"the government of %1")
english_format.kif 811-811
(
format
FrenchLanguage
GovernmentFn
"le gouvernment de %1")
french_format.kif 482-482
(
format
JapaneseLanguage
GovernmentFn
"%1 の government")
english_format.kif 812-812
(
format
PortugueseLanguage
GovernmentFn
"o governo de %1")
portuguese_format.kif 434-434
(
format
ro
GovernmentFn
"government%t{guvernul} lui %1")
relations-ro.kif 504-504
(
termFormat
ChineseLanguage
GovernmentFn
"政府")
domainEnglishFormat.kif 26298-26298
(
termFormat
ChineseLanguage
GovernmentFn
"政府函数")
chinese_format.kif 803-803
(
termFormat
ChineseTraditionalLanguage
GovernmentFn
"政府")
domainEnglishFormat.kif 26297-26297
(
termFormat
EnglishLanguage
GovernmentFn
"government")
domainEnglishFormat.kif 26296-26296
antecedent
(=>
(
and
(
attribute
(
GovernmentFn
?AREA) ?TYPE)
(
instance
?TYPE
FormOfGovernment
))
(
governmentType
?AREA ?TYPE))
Government.kif 148-152
FormOfGovernment
e' um
atributo
de o
governo
de
Area Geopolitica
FormOfGovernment
e' uma
instancia
de
FormOfGovernment
governmentType
Area Geopolitica
and
FormOfGovernment
(=>
(
and
(
attribute
?ORG
UnicameralLegislature
)
(
legislativeBranch
?ORG ?AREA)
(
instance
?CHAMBER1
LegislativeChamber
)
(
subOrganization
?CHAMBER1
(
GovernmentFn
?AREA))
(
instance
?CHAMBER2
LegislativeChamber
)
(
subOrganization
?CHAMBER2
(
GovernmentFn
?AREA)))
(
equal
?CHAMBER1 ?CHAMBER2))
Government.kif 1941-1949
UnicameralLegislature
e' um
atributo
de
Organizacao
legislativeBranch
Organizacao
and
Area Geopolitica
Organizacao
e' uma
instancia
de
LegislativeChamber
Organizacao
e' uma parte da organizacao o
governo
de
Area Geopolitica
Organizacao
e' uma
instancia
de
LegislativeChamber
Organizacao
e' uma parte da organizacao o
governo
de
Area Geopolitica
Organizacao
e'
igual
a
Organizacao
(=>
(
and
(
diplomaticRepresentationType
?AGENT1
ConsulGeneral
?AGENT2)
(
instance
?AREA2
City
)
(
equal
?AGENT2
(
GovernmentFn
?AREA2)))
(
diplomaticOrganizationType
?AGENT1
ConsulateGeneral
?AGENT2))
Government.kif 4639-4644
diplomaticRepresentationType
AutonomousAgent
,
ConsulGeneral
and
Governo
Area Geopolitica
e' uma
instancia
de
Cidade
Governo
e'
igual
a o
governo
de
Area Geopolitica
diplomaticOrganizationType
AutonomousAgent
,
ConsulateGeneral
and
Governo
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Nation
)
(
instance
?ORG
DiplomaticOrganization
)
(
subOrganization
?ORG
(
GovernmentFn
?AGENT1))
(
occupiesPosition
?PERSON ?POSITION ?ORG)
(
instance
?AGENT2
GeopoliticalArea
))
(
agentOperatesInArea
?ORG ?AGENT2))
Government.kif 4475-4483
diplomaticRepresentativeInRole
Area Geopolitica
,
Humano
,
Posicao
and
AutonomousAgent
Area Geopolitica
e' uma
instancia
de
Nacao
Organizacao
e' uma
instancia
de
DiplomaticOrganization
Organizacao
e' uma parte da organizacao o
governo
de
Area Geopolitica
Humano
ocupa a
posicao
de
Posicao
Organizacao
AutonomousAgent
e' uma
instancia
de
Area Geopolitica
agentOperatesInArea
Organizacao
and
AutonomousAgent
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
GovernmentFn
?AREA)
NationalGovernment
))
(
instance
?AREA
Nation
))
Government.kif 121-125
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
o
governo
de
Area Geopolitica
e' uma
instancia
de
NationalGovernment
Area Geopolitica
e' uma
instancia
de
Nacao
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
(
GovernmentFn
?AREA) ?PERSON))
(
leader
?AREA ?PERSON))
Merge.kif 14106-14110
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
leader
o
governo
de
Area Geopolitica
and
Humano
leader
Area Geopolitica
and
Humano
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
occupiesPosition
?PERSON
Leader
(
GovernmentFn
?AREA)))
(
exists
(?LEADING)
(
and
(
instance
?LEADING
Guiding
)
(
patient
?LEADING ?AREA)
(
agent
?LEADING ?PERSON))))
Government.kif 2273-2281
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
Humano
ocupa a
posicao
de
Leader
o
governo
de
Area Geopolitica
Processo
Processo
e' uma
instancia
de
Guiar
Area Geopolitica
e' um
patient
de
Processo
Processo
e' um
agente
de
Humano
(=>
(
and
(
instance
?CAB
GovernmentCabinet
)
(
subOrganization
?CAB
(
GovernmentFn
?AREA))
(
instance
?AREA
GeopoliticalArea
))
(
hasPurpose
?CAB
(
exists
(?ADVICE ?LEADER)
(
and
(
instance
?ADVICE
Stating
)
(
agent
?ADVICE ?CAB)
(
patient
?ADVICE ?LEADER)
(
leader
?LEADER
(
GovernmentFn
?AREA))))))
Government.kif 1477-1488
Organizacao
e' uma
instancia
de
GovernmentCabinet
Organizacao
e' uma parte da organizacao o
governo
de
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
Organizacao
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Declarar
Entidade
e' um
agente
de
Organizacao
Entidade
e' um
patient
de
Entidade
leader
Entidade
and o
governo
de
Area Geopolitica
(=>
(
and
(
instance
?CONST
(
ConstitutionFn
?COUNTRY))
(
instance
?COUNTRY
Nation
)
(
equal
?GOV
(
GovernmentFn
?COUNTRY))
(
instance
(
WhenFn
?GOV) ?CLASS)
(
agreementEffectiveDuring
?CONST ?CLASS)
(
subProposition
?PART ?CONST)
(
containsInformation
?FORMULA ?PART))
(
holdsObligation
?FORMULA ?GOV))
Government.kif 738-747
Proposicao
e' uma
instancia
de
ConstitutionFn
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Nacao
Governo
e'
igual
a o
governo
de
Area Geopolitica
tempo
de existencia de
Governo
e' uma
instancia
de
Posicao Temporal
agreementEffectiveDuring
Proposicao
and
Posicao Temporal
Proposicao
e' uma &sub-proposicao de
Proposicao
Formula
contem
informacao
Proposicao
Governo
e'
obrigado
a executar tarefas de tipo
Formula
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leader
?COUNTRY ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?COUNTRY)))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1420-1426
Area Geopolitica
e' uma
instancia
de
Nacao
leader
Area Geopolitica
and
Humano
Posicao
e' uma
instancia
de
Posicao
Humano
ocupa a
posicao
de
Posicao
o
governo
de
Area Geopolitica
leaderPosition
Area Geopolitica
and
Posicao
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leaderPosition
(
GovernmentFn
?COUNTRY) ?ROLE))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1429-1433
Area Geopolitica
e' uma
instancia
de
Nacao
leaderPosition
o
governo
de
Area Geopolitica
and
Posicao
leaderPosition
Area Geopolitica
and
Posicao
(=>
(
and
(
instance
?COURT
SupremeCourt
)
(
subOrganization
?COURT
(
GovernmentFn
?COUNTRY))
(
instance
?COUNTRY
Nation
))
(
instance
?COURT
(
SupremeCourtFn
?COUNTRY)))
Government.kif 2155-2160
Organizacao
e' uma
instancia
de
SupremeCourt
Organizacao
e' uma parte da organizacao o
governo
de
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Nacao
Organizacao
e' uma
instancia
de
SupremeCourtFn
Area Geopolitica
(=>
(
and
(
instance
?EVENT
Election
)
(
agent
?EVENT ?AGENT)
(
instance
?AREA
GeopoliticalArea
)
(
instance
?AGENT
(
GovernmentFn
?AREA)))
(
instance
?EVENT
PoliticalProcess
))
Merge.kif 14125-14131
Processo
e' uma
instancia
de
Election
Processo
e' um
agente
de
AutonomousAgent
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
AutonomousAgent
e' uma
instancia
de o
governo
de
Area Geopolitica
Processo
e' uma
instancia
de
Processo Politico
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ROLE
Position
)
(
instance
?AREA
GeopoliticalArea
)
(
leaderPosition
?AREA ?ROLE)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?AREA)))
(
leader
?AREA ?PERSON))
Government.kif 1451-1458
Humano
e' uma
instancia
de
Humano
Posicao
e' uma
instancia
de
Posicao
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
leaderPosition
Area Geopolitica
and
Posicao
Humano
ocupa a
posicao
de
Posicao
o
governo
de
Area Geopolitica
leader
Area Geopolitica
and
Humano
(=>
(
and
(
instance
?UW
UnconventionalWarfare
)
(
agent
?UW ?AGENT)
(
not
(
equal
?AGENT ?POPULACE))
(
not
(
equal
?AGENT
(
GovernmentFn
?NATION)))
(
patient
?UW ?POPULACE)
(
or
(
member
?POPULACE
(
ResidentFn
?NATION))
(
subCollection
?POPULACE
(
ResidentFn
?NATION))))
(
exists
(?CONTEST)
(
and
(
instance
?CONTEST
Contest
)
(
agent
?CONTEST ?POPULACE)
(
agent
?CONTEST
(
GovernmentFn
?NATION)))))
MilitaryProcesses.kif 163-183
Processo
e' uma
instancia
de
UnconventionalWarfare
Processo
e' um
agente
de
Governo
Governo
e'
igual
a
AutonomousAgent
Governo
e'
igual
a o
governo
de
Area Geopolitica
AutonomousAgent
e' um
patient
de
Processo
AutonomousAgent
e'
membro
de
ResidentFn
Area Geopolitica
AutonomousAgent
e' uma
sub
-colecao de
ResidentFn
Area Geopolitica
Processo
Processo
e' uma
instancia
de
Contest
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
agente
de o
governo
de
Area Geopolitica
consequent
(<=>
(
instance
?C
City
)
(
instance
(
GovernmentFn
?C)
CityGovernment
))
Mid-level-ontology.kif 8360-8362
Area Geopolitica
e' uma
instancia
de
Cidade
o
governo
de
Area Geopolitica
e' uma
instancia
de
CityGovernment
(<=>
(
instance
?STATE
StateOrProvince
)
(
instance
(
GovernmentFn
?STATE)
StateGovernment
))
Mid-level-ontology.kif 8353-8355
Area Geopolitica
e' uma
instancia
de
Estado ou Provincia
o
governo
de
Area Geopolitica
e' uma
instancia
de
StateGovernment
(=>
(
and
(
diplomaticOrganizationType
?AGENT1 ?TYPE ?AGENT2)
(
instance
?AGENT1
Nation
)
(
instance
?AGENT2
GeopoliticalArea
))
(
exists
(?ORG)
(
and
(
instance
?ORG ?TYPE)
(
located
?ORG ?AGENT2)
(
subOrganization
?ORG
(
GovernmentFn
?AGENT1)))))
Government.kif 4612-4621
diplomaticOrganizationType
Area Geopolitica
,
Organizacao
and
AutonomousAgent
Area Geopolitica
e' uma
instancia
de
Nacao
AutonomousAgent
e' uma
instancia
de
Area Geopolitica
Organizacao
Organizacao
e' uma
instancia
de
Organizacao
Organizacao
e'
situado
em
AutonomousAgent
Organizacao
e' uma parte da organizacao o
governo
de
Area Geopolitica
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
GeopoliticalArea
))
(
employs
(
GovernmentFn
?AGENT1) ?PERSON))
Government.kif 4450-4454
diplomaticRepresentativeInRole
Area Geopolitica
,
Humano
,
Posicao
and
AutonomousAgent
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
o
governo
de
Area Geopolitica
emprega
Humano
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Nation
))
(
exists
(?ORG)
(
and
(
instance
?ORG
DiplomaticOrganization
)
(
subOrganization
?ORG
(
GovernmentFn
?AGENT1))
(
occupiesPosition
?PERSON ?POSITION ?ORG))))
Government.kif 4434-4442
diplomaticRepresentativeInRole
Area Geopolitica
,
Humano
,
Posicao
and
AutonomousAgent
Area Geopolitica
e' uma
instancia
de
Nacao
Organizacao
Organizacao
e' uma
instancia
de
DiplomaticOrganization
Organizacao
e' uma parte da organizacao o
governo
de
Area Geopolitica
Humano
ocupa a
posicao
de
Posicao
Organizacao
(=>
(
and
(
executiveBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 1277-1282
executiveBranch
Organizacao
and
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
Organizacao
e' uma parte da organizacao
Organizacao
Organizacao
e' uma parte da organizacao o
governo
de
Area Geopolitica
(=>
(
and
(
executiveBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?BRANCH
(
GovernmentFn
?AREA)))
Government.kif 1271-1275
executiveBranch
Organizacao
and
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
Organizacao
e' uma parte da organizacao o
governo
de
Area Geopolitica
(=>
(
and
(
governmentType
?AGENT ?TYPE)
(
subAttribute
?TYPE
TheocraticGovernment
)
(
instance
?AGENT
GeopoliticalArea
))
(
instance
(
GovernmentFn
?AGENT)
ReligiousOrganization
))
Government.kif 352-357
governmentType
Area Geopolitica
and
FormOfGovernment
FormOfGovernment
e' um
sub
-atributo de
TheocraticGovernment
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
o
governo
de
Area Geopolitica
e' uma
instancia
de
Organizacao Religiosa
(=>
(
and
(
governmentType
?PLACE ?TYPE)
(
instance
?PLACE
GeopoliticalArea
)
(
subAttribute
?TYPE
ParliamentaryGovernment
))
(
exists
(?ORG)
(
and
(
instance
?ORG
Parliament
)
(
subOrganization
?ORG
(
GovernmentFn
?PLACE)))))
Government.kif 256-264
governmentType
Area Geopolitica
and
FormOfGovernment
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
FormOfGovernment
e' um
sub
-atributo de
ParliamentaryGovernment
Organizacao
Organizacao
e' uma
instancia
de
Parliament
Organizacao
e' uma parte da organizacao o
governo
de
Area Geopolitica
(=>
(
and
(
instance
(
ExecutiveBranchFn
?AREA)
Organization
)
(
instance
?AREA
GeopoliticalArea
))
(
executiveBranch
(
ExecutiveBranchFn
?AREA)
(
GovernmentFn
?AREA)))
Government.kif 1300-1304
ExecutiveBranchFn
Area Geopolitica
e' uma
instancia
de
Organizacao
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
executiveBranch
ExecutiveBranchFn
Area Geopolitica
and o
governo
de
Area Geopolitica
(=>
(
and
(
instance
(
JudiciaryFn
?AREA)
Organization
)
(
instance
?AREA
GeopoliticalArea
))
(
judicialBranch
(
JudiciaryFn
?AREA)
(
GovernmentFn
?AREA)))
Government.kif 2119-2123
JudiciaryFn
Area Geopolitica
e' uma
instancia
de
Organizacao
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
judicialBranch
JudiciaryFn
Area Geopolitica
and o
governo
de
Area Geopolitica
(=>
(
and
(
instance
(
LegislatureFn
?AREA)
Organization
)
(
instance
?AREA
GeopoliticalArea
))
(
legislativeBranch
(
LegislatureFn
?AREA)
(
GovernmentFn
?AREA)))
Government.kif 2014-2018
LegislatureFn
Area Geopolitica
e' uma
instancia
de
Organizacao
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
legislativeBranch
LegislatureFn
Area Geopolitica
and o
governo
de
Area Geopolitica
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
governmentType
?AREA ?TYPE))
(
attribute
(
GovernmentFn
?AREA) ?TYPE))
Government.kif 142-146
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
governmentType
Area Geopolitica
and
FormOfGovernment
FormOfGovernment
e' um
atributo
de o
governo
de
Area Geopolitica
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
?AREA ?PERSON))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Merge.kif 14112-14116
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
leader
Area Geopolitica
and
Humano
leader
o
governo
de
Area Geopolitica
and
Humano
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
occupiesPosition
?PERSON
Leader
?AREA))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Government.kif 1310-1314
Organizacao
e' uma
instancia
de
Area Geopolitica
Humano
ocupa a
posicao
de
Leader
Organizacao
leader
o
governo
de
Organizacao
and
Humano
(=>
(
and
(
instance
?CAB
GovernmentCabinet
)
(
subOrganization
?CAB
(
GovernmentFn
?AREA))
(
instance
?AREA
GeopoliticalArea
))
(
hasPurpose
?CAB
(
exists
(?ADVICE ?LEADER)
(
and
(
instance
?ADVICE
Stating
)
(
agent
?ADVICE ?CAB)
(
patient
?ADVICE ?LEADER)
(
leader
?LEADER
(
GovernmentFn
?AREA))))))
Government.kif 1477-1488
Organizacao
e' uma
instancia
de
GovernmentCabinet
Organizacao
e' uma parte da organizacao o
governo
de
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
Organizacao
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Declarar
Entidade
e' um
agente
de
Organizacao
Entidade
e' um
patient
de
Entidade
leader
Entidade
and o
governo
de
Area Geopolitica
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leaderPosition
?COUNTRY ?ROLE))
(
leaderPosition
(
GovernmentFn
?COUNTRY) ?ROLE))
Government.kif 1435-1439
Area Geopolitica
e' uma
instancia
de
Nacao
leaderPosition
Area Geopolitica
and
Posicao
leaderPosition
o
governo
de
Area Geopolitica
and
Posicao
(=>
(
and
(
instance
?GROUP
PoliticalPressureGroup
)
(
hasPurpose
?GROUP ?FORMULA)
(
agentOperatesInArea
?GROUP ?AREA)
(
instance
?AREA
Nation
))
(
desires
?GROUP
(
believes
(
GovernmentFn
?AREA) ?FORMULA)))
Government.kif 2326-2333
Agente Cognitivo
e' uma
instancia
de
PoliticalPressureGroup
Agente Cognitivo
tem por
fim
Formula
agentOperatesInArea
Agente Cognitivo
and
Area Geografica
Area Geografica
e' uma
instancia
de
Nacao
Agente Cognitivo
deseja
o
governo
de
Area Geografica
acredita
que
Formula
(=>
(
and
(
instance
?R
PoliticalRevolution
)
(
patient
?R ?A))
(
exists
(?GOV1 ?GOV2)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?R))
(
equal
?GOV1
(
GovernmentFn
?A)))
(
holdsDuring
(
EndFn
(
WhenFn
?R))
(
equal
?GOV2
(
GovernmentFn
?A)))
(
not
(
equal
?GOV1 ?GOV2)))))
Mid-level-ontology.kif 13915-13927
Processo
e' uma
instancia
de
PoliticalRevolution
Entidade
e' um
patient
de
Processo
Entidade
Entidade
Entidade
e'
igual
a o
governo
de
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
e'
igual
a o
governo
de
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
Entidade
e'
igual
a
Entidade
(=>
(
and
(
instance
?UW
UnconventionalWarfare
)
(
agent
?UW ?AGENT)
(
not
(
equal
?AGENT ?POPULACE))
(
not
(
equal
?AGENT
(
GovernmentFn
?NATION)))
(
patient
?UW ?POPULACE)
(
or
(
member
?POPULACE
(
ResidentFn
?NATION))
(
subCollection
?POPULACE
(
ResidentFn
?NATION))))
(
exists
(?CONTEST)
(
and
(
instance
?CONTEST
Contest
)
(
agent
?CONTEST ?POPULACE)
(
agent
?CONTEST
(
GovernmentFn
?NATION)))))
MilitaryProcesses.kif 163-183
Processo
e' uma
instancia
de
UnconventionalWarfare
Processo
e' um
agente
de
Governo
Governo
e'
igual
a
AutonomousAgent
Governo
e'
igual
a o
governo
de
Area Geopolitica
AutonomousAgent
e' um
patient
de
Processo
AutonomousAgent
e'
membro
de
ResidentFn
Area Geopolitica
AutonomousAgent
e' uma
sub
-colecao de
ResidentFn
Area Geopolitica
Processo
Processo
e' uma
instancia
de
Contest
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
agente
de o
governo
de
Area Geopolitica
(=>
(
and
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 2094-2099
judicialBranch
Organizacao
and
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
Organizacao
e' uma parte da organizacao
Organizacao
Organizacao
e' uma parte da organizacao o
governo
de
Area Geopolitica
(=>
(
and
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?BRANCH
(
GovernmentFn
?AREA)))
Government.kif 2088-2092
judicialBranch
Organizacao
and
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
Organizacao
e' uma parte da organizacao o
governo
de
Area Geopolitica
(=>
(
and
(
legislativeBranch
?ORG ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 1993-1997
legislativeBranch
Organizacao
and
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
Organizacao
e' uma parte da organizacao o
governo
de
Area Geopolitica
(=>
(
and
(
representativeAgentToAgent
?SENDER ?REP ?RECEIVER)
(
instance
?SENDER
Nation
)
(
instance
?REP
CognitiveAgent
))
(
employs
(
GovernmentFn
?SENDER) ?REP))
Government.kif 4578-4583
representativeAgentToAgent
Area Geopolitica
,
Agente Cognitivo
and
AutonomousAgent
Area Geopolitica
e' uma
instancia
de
Nacao
Agente Cognitivo
e' uma
instancia
de
Agente Cognitivo
o
governo
de
Area Geopolitica
emprega
Agente Cognitivo
(=>
(
attribute
?U
ExpeditionaryForce
)
(
hasPurpose
?U
(
exists
(?B ?C ?FC)
(
and
(
subOrganization
?U
(
GovernmentFn
?C))
(
instance
?B
Battle
)
(
agent
?B ?U)
(
instance
?FC
Nation
)
(
located
?B ?FC)
(
not
(
equal
?C ?FC))))))
MilitaryPersons.kif 712-724
ExpeditionaryForce
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
and
Entidade
Objeto
e' uma parte da organizacao o
governo
de
Entidade
Entidade
e' uma
instancia
de
Batalha
Entidade
e' um
agente
de
Objeto
Entidade
e' uma
instancia
de
Nacao
Entidade
e'
situado
em
Entidade
Entidade
e'
igual
a
Entidade
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
subOrganization
DepartmentOfHomelandSecurity
(
GovernmentFn
UnitedStates
))
Government.kif 4792-4792
DepartmentOfHomelandSecurity
e' uma parte da organizacao o
governo
de
UnitedStates
(
subOrganization
USFoodAndDrugAdministration
(
GovernmentFn
UnitedStates
))
VirusProteinAndCellPart.kif 1284-1284
USFoodAndDrugAdministration
e' uma parte da organizacao o
governo
de
UnitedStates
(
subOrganization
USStateDepartment
(
GovernmentFn
UnitedStates
))
Government.kif 2355-2355
USStateDepartment
e' uma parte da organizacao o
governo
de
UnitedStates
(
subOrganization
UnitedStatesCongress
(
GovernmentFn
UnitedStates
))
Government.kif 1913-1913
UnitedStatesCongress
e' uma parte da organizacao o
governo
de
UnitedStates
(
subOrganization
UnitedStatesDepartmentOfInterior
(
GovernmentFn
UnitedStates
))
Government.kif 4819-4819
UnitedStatesDepartmentOfInterior
e' uma parte da organizacao o
governo
de
UnitedStates
(
subOrganization
UnitedStatesDepartmentOfState
(
GovernmentFn
UnitedStates
))
Government.kif 4814-4814
UnitedStatesDepartmentOfState
e' uma parte da organizacao o
governo
de
UnitedStates
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