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 16714-16718
(
domain
GovernmentFn
1
GeopoliticalArea
)
Merge.kif 16712-16712
O argumento numero 1 de
GovernmentFn
e' uma
instancia
de
Area Geopolitica
(
instance
GovernmentFn
PartialValuedRelation
)
Merge.kif 16711-16711
GovernmentFn
e' uma
instancia
de
Relacao Parcial
(
instance
GovernmentFn
UnaryFunction
)
Merge.kif 16710-16710
GovernmentFn
e' uma
instancia
de
funcao Unaria
(
range
GovernmentFn
Government
)
Merge.kif 16713-16713
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 1977-1985
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 4675-4680
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 4511-4519
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 14060-14064
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 2309-2317
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 1513-1524
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 774-783
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 1456-1462
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 1465-1469
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 2191-2196
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 14079-14085
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 1487-1494
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 8333-8335
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 8326-8328
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 4648-4657
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 4486-4490
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 4470-4478
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 1313-1318
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 1307-1311
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 1336-1340
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 2155-2159
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 2050-2054
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 14066-14070
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 1346-1350
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 1513-1524
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 1471-1475
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 2362-2369
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 13888-13900
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 2130-2135
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 2124-2128
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 2029-2033
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 4614-4619
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 4828-4828
DepartmentOfHomelandSecurity
e' uma parte da organizacao o
governo
de
UnitedStates
(
subOrganization
USFoodAndDrugAdministration
(
GovernmentFn
UnitedStates
))
VirusProteinAndCellPart.kif 1283-1283
USFoodAndDrugAdministration
e' uma parte da organizacao o
governo
de
UnitedStates
(
subOrganization
USStateDepartment
(
GovernmentFn
UnitedStates
))
Government.kif 2391-2391
USStateDepartment
e' uma parte da organizacao o
governo
de
UnitedStates
(
subOrganization
UnitedStatesCongress
(
GovernmentFn
UnitedStates
))
Government.kif 1949-1949
UnitedStatesCongress
e' uma parte da organizacao o
governo
de
UnitedStates
(
subOrganization
UnitedStatesDepartmentOfInterior
(
GovernmentFn
UnitedStates
))
Government.kif 4855-4855
UnitedStatesDepartmentOfInterior
e' uma parte da organizacao o
governo
de
UnitedStates
(
subOrganization
UnitedStatesDepartmentOfState
(
GovernmentFn
UnitedStates
))
Government.kif 4850-4850
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