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
Il numero 1 argomenti di
GovernmentFn
è un
istanza
di
AreaGeopolitica
(
instance
GovernmentFn
PartialValuedRelation
)
Merge.kif 16782-16782
GovernmentFn
è un'
istanza
di
RelazioneAValoreParziale
(
instance
GovernmentFn
UnaryFunction
)
Merge.kif 16781-16781
GovernmentFn
è un'
istanza
di
FunzioneUnaria
(
range
GovernmentFn
Government
)
Merge.kif 16784-16784
rango
di
GovernmentFn
è un'istanza di
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
attribute
GovernmentFn
AreaGeopolitica
and
FormOfGovernment
FormOfGovernment
è un'
istanza
di
FormOfGovernment
governmentType
AreaGeopolitica
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
attribute
Organizzazione
and
UnicameralLegislature
legislativeBranch
Organizzazione
and
AreaGeopolitica
Organizzazione
è un'
istanza
di
LegislativeChamber
subOrganization
Organizzazione
and
GovernmentFn
AreaGeopolitica
Organizzazione
è un'
istanza
di
LegislativeChamber
subOrganization
Organizzazione
and
GovernmentFn
AreaGeopolitica
Organizzazione
is
uguale
a
Organizzazione
(=>
(
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
AreaGeopolitica
è un'
istanza
di
Citt�
Governo
is
uguale
a
GovernmentFn
AreaGeopolitica
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
AreaGeopolitica
,
Umano
,
Posizione
and
AutonomousAgent
AreaGeopolitica
è un'
istanza
di
Nazione
Organizzazione
è un'
istanza
di
DiplomaticOrganization
subOrganization
Organizzazione
and
GovernmentFn
AreaGeopolitica
Umano
occupa la
posizione
di
Posizione
in
Organizzazione
AutonomousAgent
è un'
istanza
di
AreaGeopolitica
agentOperatesInArea
Organizzazione
and
AutonomousAgent
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
GovernmentFn
?AREA)
NationalGovernment
))
(
instance
?AREA
Nation
))
Government.kif 121-125
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
GovernmentFn
AreaGeopolitica
è un'
istanza
di
NationalGovernment
AreaGeopolitica
è un'
istanza
di
Nazione
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
(
GovernmentFn
?AREA) ?PERSON))
(
leader
?AREA ?PERSON))
Merge.kif 14106-14110
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
leader
GovernmentFn
AreaGeopolitica
and
Umano
leader
AreaGeopolitica
and
Umano
(=>
(
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
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
Umano
occupa la
posizione
di
Leader
in
GovernmentFn
AreaGeopolitica
Processo
Processo
è un'
istanza
di
Guidare
AreaGeopolitica
è un
paziente
di
Processo
Processo
è un
agente
di
Umano
(=>
(
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
Organizzazione
è un'
istanza
di
GovernmentCabinet
subOrganization
Organizzazione
and
GovernmentFn
AreaGeopolitica
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
Organizzazione
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Affermare
Entit�
è un
agente
di
Organizzazione
Entit�
è un
paziente
di
Entit�
leader
Entit�
and
GovernmentFn
AreaGeopolitica
(=>
(
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
Proposizione
è un'
istanza
di
ConstitutionFn
AreaGeopolitica
AreaGeopolitica
è un'
istanza
di
Nazione
Governo
is
uguale
a
GovernmentFn
AreaGeopolitica
il
tempo
di esistenza di
Governo
è un'
istanza
di
PosizioneTemporale
agreementEffectiveDuring
Proposizione
and
PosizioneTemporale
Proposizione
è una
sottoproposizione
Proposizione
Formula
contiene
s informazione
Proposizione
Governo
è
obbligato
a compiere il compito di tipo
Formula
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leader
?COUNTRY ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?COUNTRY)))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1420-1426
AreaGeopolitica
è un'
istanza
di
Nazione
leader
AreaGeopolitica
and
Umano
Posizione
è un'
istanza
di
Posizione
Umano
occupa la
posizione
di
Posizione
in
GovernmentFn
AreaGeopolitica
leaderPosition
AreaGeopolitica
and
Posizione
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leaderPosition
(
GovernmentFn
?COUNTRY) ?ROLE))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1429-1433
AreaGeopolitica
è un'
istanza
di
Nazione
leaderPosition
GovernmentFn
AreaGeopolitica
and
Posizione
leaderPosition
AreaGeopolitica
and
Posizione
(=>
(
and
(
instance
?COURT
SupremeCourt
)
(
subOrganization
?COURT
(
GovernmentFn
?COUNTRY))
(
instance
?COUNTRY
Nation
))
(
instance
?COURT
(
SupremeCourtFn
?COUNTRY)))
Government.kif 2155-2160
Organizzazione
è un'
istanza
di
SupremeCourt
subOrganization
Organizzazione
and
GovernmentFn
AreaGeopolitica
AreaGeopolitica
è un'
istanza
di
Nazione
Organizzazione
è un'
istanza
di
SupremeCourtFn
AreaGeopolitica
(=>
(
and
(
instance
?EVENT
Election
)
(
agent
?EVENT ?AGENT)
(
instance
?AREA
GeopoliticalArea
)
(
instance
?AGENT
(
GovernmentFn
?AREA)))
(
instance
?EVENT
PoliticalProcess
))
Merge.kif 14125-14131
Processo
è un'
istanza
di
Election
Processo
è un
agente
di
AutonomousAgent
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
AutonomousAgent
è un'
istanza
di
GovernmentFn
AreaGeopolitica
Processo
è un'
istanza
di
ProcessoPolitico
(=>
(
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
Umano
è un'
istanza
di
Umano
Posizione
è un'
istanza
di
Posizione
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
leaderPosition
AreaGeopolitica
and
Posizione
Umano
occupa la
posizione
di
Posizione
in
GovernmentFn
AreaGeopolitica
leader
AreaGeopolitica
and
Umano
(=>
(
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
è un'
istanza
di
UnconventionalWarfare
Processo
è un
agente
di
Governo
Governo
is
uguale
a
AutonomousAgent
Governo
is
uguale
a
GovernmentFn
AreaGeopolitica
AutonomousAgent
è un
paziente
di
Processo
AutonomousAgent
è un
membro
di
ResidentFn
AreaGeopolitica
AutonomousAgent
è
sottoinsieme
un proprio
ResidentFn
AreaGeopolitica
Processo
Processo
è un'
istanza
di
Competizione
Processo
è un
agente
di
AutonomousAgent
Processo
è un
agente
di
GovernmentFn
AreaGeopolitica
consequent
(<=>
(
instance
?C
City
)
(
instance
(
GovernmentFn
?C)
CityGovernment
))
Mid-level-ontology.kif 8360-8362
AreaGeopolitica
è un'
istanza
di
Citt�
GovernmentFn
AreaGeopolitica
è un'
istanza
di
CityGovernment
(<=>
(
instance
?STATE
StateOrProvince
)
(
instance
(
GovernmentFn
?STATE)
StateGovernment
))
Mid-level-ontology.kif 8353-8355
AreaGeopolitica
è un'
istanza
di
StatoOProvincia
GovernmentFn
AreaGeopolitica
è un'
istanza
di
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
AreaGeopolitica
,
Organizzazione
and
AutonomousAgent
AreaGeopolitica
è un'
istanza
di
Nazione
AutonomousAgent
è un'
istanza
di
AreaGeopolitica
Organizzazione
Organizzazione
è un'
istanza
di
Organizzazione
Organizzazione
è
localizzato
in
AutonomousAgent
subOrganization
Organizzazione
and
GovernmentFn
AreaGeopolitica
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
GeopoliticalArea
))
(
employs
(
GovernmentFn
?AGENT1) ?PERSON))
Government.kif 4450-4454
diplomaticRepresentativeInRole
AreaGeopolitica
,
Umano
,
Posizione
and
AutonomousAgent
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
GovernmentFn
AreaGeopolitica
impiega
s
Umano
(=>
(
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
AreaGeopolitica
,
Umano
,
Posizione
and
AutonomousAgent
AreaGeopolitica
è un'
istanza
di
Nazione
Organizzazione
Organizzazione
è un'
istanza
di
DiplomaticOrganization
subOrganization
Organizzazione
and
GovernmentFn
AreaGeopolitica
Umano
occupa la
posizione
di
Posizione
in
Organizzazione
(=>
(
and
(
executiveBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 1277-1282
executiveBranch
Organizzazione
and
AreaGeopolitica
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
subOrganization
Organizzazione
and
Organizzazione
subOrganization
Organizzazione
and
GovernmentFn
AreaGeopolitica
(=>
(
and
(
executiveBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?BRANCH
(
GovernmentFn
?AREA)))
Government.kif 1271-1275
executiveBranch
Organizzazione
and
AreaGeopolitica
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
subOrganization
Organizzazione
and
GovernmentFn
AreaGeopolitica
(=>
(
and
(
governmentType
?AGENT ?TYPE)
(
subAttribute
?TYPE
TheocraticGovernment
)
(
instance
?AGENT
GeopoliticalArea
))
(
instance
(
GovernmentFn
?AGENT)
ReligiousOrganization
))
Government.kif 352-357
governmentType
AreaGeopolitica
and
FormOfGovernment
FormOfGovernment
è un
sottoattributo
di
TheocraticGovernment
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
GovernmentFn
AreaGeopolitica
è un'
istanza
di
OrganizzazioneReligiosa
(=>
(
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
AreaGeopolitica
and
FormOfGovernment
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
FormOfGovernment
è un
sottoattributo
di
ParliamentaryGovernment
Organizzazione
Organizzazione
è un'
istanza
di
Parliament
subOrganization
Organizzazione
and
GovernmentFn
AreaGeopolitica
(=>
(
and
(
instance
(
ExecutiveBranchFn
?AREA)
Organization
)
(
instance
?AREA
GeopoliticalArea
))
(
executiveBranch
(
ExecutiveBranchFn
?AREA)
(
GovernmentFn
?AREA)))
Government.kif 1300-1304
ExecutiveBranchFn
AreaGeopolitica
è un'
istanza
di
Organizzazione
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
executiveBranch
ExecutiveBranchFn
AreaGeopolitica
and
GovernmentFn
AreaGeopolitica
(=>
(
and
(
instance
(
JudiciaryFn
?AREA)
Organization
)
(
instance
?AREA
GeopoliticalArea
))
(
judicialBranch
(
JudiciaryFn
?AREA)
(
GovernmentFn
?AREA)))
Government.kif 2119-2123
JudiciaryFn
AreaGeopolitica
è un'
istanza
di
Organizzazione
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
judicialBranch
JudiciaryFn
AreaGeopolitica
and
GovernmentFn
AreaGeopolitica
(=>
(
and
(
instance
(
LegislatureFn
?AREA)
Organization
)
(
instance
?AREA
GeopoliticalArea
))
(
legislativeBranch
(
LegislatureFn
?AREA)
(
GovernmentFn
?AREA)))
Government.kif 2014-2018
LegislatureFn
AreaGeopolitica
è un'
istanza
di
Organizzazione
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
legislativeBranch
LegislatureFn
AreaGeopolitica
and
GovernmentFn
AreaGeopolitica
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
governmentType
?AREA ?TYPE))
(
attribute
(
GovernmentFn
?AREA) ?TYPE))
Government.kif 142-146
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
governmentType
AreaGeopolitica
and
FormOfGovernment
attribute
GovernmentFn
AreaGeopolitica
and
FormOfGovernment
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
?AREA ?PERSON))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Merge.kif 14112-14116
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
leader
AreaGeopolitica
and
Umano
leader
GovernmentFn
AreaGeopolitica
and
Umano
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
occupiesPosition
?PERSON
Leader
?AREA))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Government.kif 1310-1314
Organizzazione
è un'
istanza
di
AreaGeopolitica
Umano
occupa la
posizione
di
Leader
in
Organizzazione
leader
GovernmentFn
Organizzazione
and
Umano
(=>
(
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
Organizzazione
è un'
istanza
di
GovernmentCabinet
subOrganization
Organizzazione
and
GovernmentFn
AreaGeopolitica
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
Organizzazione
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Affermare
Entit�
è un
agente
di
Organizzazione
Entit�
è un
paziente
di
Entit�
leader
Entit�
and
GovernmentFn
AreaGeopolitica
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leaderPosition
?COUNTRY ?ROLE))
(
leaderPosition
(
GovernmentFn
?COUNTRY) ?ROLE))
Government.kif 1435-1439
AreaGeopolitica
è un'
istanza
di
Nazione
leaderPosition
AreaGeopolitica
and
Posizione
leaderPosition
GovernmentFn
AreaGeopolitica
and
Posizione
(=>
(
and
(
instance
?GROUP
PoliticalPressureGroup
)
(
hasPurpose
?GROUP ?FORMULA)
(
agentOperatesInArea
?GROUP ?AREA)
(
instance
?AREA
Nation
))
(
desires
?GROUP
(
believes
(
GovernmentFn
?AREA) ?FORMULA)))
Government.kif 2326-2333
AgenteCognitivo
è un'
istanza
di
PoliticalPressureGroup
AgenteCognitivo
ha
scopo
Formula
agentOperatesInArea
AgenteCognitivo
and
AreaGeografica
AreaGeografica
è un'
istanza
di
Nazione
AgenteCognitivo
desidera
s
GovernmentFn
AreaGeografica
crede
s
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
è un'
istanza
di
PoliticalRevolution
Entit�
è un
paziente
di
Processo
Entit�
Entit�
Entit�
is
uguale
a
GovernmentFn
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Entit�
is
uguale
a
GovernmentFn
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
Entit�
is
uguale
a
Entit�
(=>
(
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
è un'
istanza
di
UnconventionalWarfare
Processo
è un
agente
di
Governo
Governo
is
uguale
a
AutonomousAgent
Governo
is
uguale
a
GovernmentFn
AreaGeopolitica
AutonomousAgent
è un
paziente
di
Processo
AutonomousAgent
è un
membro
di
ResidentFn
AreaGeopolitica
AutonomousAgent
è
sottoinsieme
un proprio
ResidentFn
AreaGeopolitica
Processo
Processo
è un'
istanza
di
Competizione
Processo
è un
agente
di
AutonomousAgent
Processo
è un
agente
di
GovernmentFn
AreaGeopolitica
(=>
(
and
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 2094-2099
judicialBranch
Organizzazione
and
AreaGeopolitica
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
subOrganization
Organizzazione
and
Organizzazione
subOrganization
Organizzazione
and
GovernmentFn
AreaGeopolitica
(=>
(
and
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?BRANCH
(
GovernmentFn
?AREA)))
Government.kif 2088-2092
judicialBranch
Organizzazione
and
AreaGeopolitica
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
subOrganization
Organizzazione
and
GovernmentFn
AreaGeopolitica
(=>
(
and
(
legislativeBranch
?ORG ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 1993-1997
legislativeBranch
Organizzazione
and
AreaGeopolitica
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
subOrganization
Organizzazione
and
GovernmentFn
AreaGeopolitica
(=>
(
and
(
representativeAgentToAgent
?SENDER ?REP ?RECEIVER)
(
instance
?SENDER
Nation
)
(
instance
?REP
CognitiveAgent
))
(
employs
(
GovernmentFn
?SENDER) ?REP))
Government.kif 4578-4583
representativeAgentToAgent
AreaGeopolitica
,
AgenteCognitivo
and
AutonomousAgent
AreaGeopolitica
è un'
istanza
di
Nazione
AgenteCognitivo
è un'
istanza
di
AgenteCognitivo
GovernmentFn
AreaGeopolitica
impiega
s
AgenteCognitivo
(=>
(
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
attribute
Oggetto
and
ExpeditionaryForce
Oggetto
ha
scopo
Entit�
Entit�
and
Entit�
subOrganization
Oggetto
and
GovernmentFn
Entit�
Entit�
è un'
istanza
di
Battaglia
Entit�
è un
agente
di
Oggetto
Entit�
è un'
istanza
di
Nazione
Entit�
è
localizzato
in
Entit�
Entit�
is
uguale
a
Entit�
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
subOrganization
DepartmentOfHomelandSecurity
and
GovernmentFn
UnitedStates
(
subOrganization
USFoodAndDrugAdministration
(
GovernmentFn
UnitedStates
))
VirusProteinAndCellPart.kif 1284-1284
subOrganization
USFoodAndDrugAdministration
and
GovernmentFn
UnitedStates
(
subOrganization
USStateDepartment
(
GovernmentFn
UnitedStates
))
Government.kif 2355-2355
subOrganization
USStateDepartment
and
GovernmentFn
UnitedStates
(
subOrganization
UnitedStatesCongress
(
GovernmentFn
UnitedStates
))
Government.kif 1913-1913
subOrganization
UnitedStatesCongress
and
GovernmentFn
UnitedStates
(
subOrganization
UnitedStatesDepartmentOfInterior
(
GovernmentFn
UnitedStates
))
Government.kif 4819-4819
subOrganization
UnitedStatesDepartmentOfInterior
and
GovernmentFn
UnitedStates
(
subOrganization
UnitedStatesDepartmentOfState
(
GovernmentFn
UnitedStates
))
Government.kif 4814-4814
subOrganization
UnitedStatesDepartmentOfState
and
GovernmentFn
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