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
The number 1 argument of
government
is an
instance
of
geopolitical area
(
instance
GovernmentFn
PartialValuedRelation
)
Merge.kif 16711-16711
Government
is an
instance
of
partial valued relation
(
instance
GovernmentFn
UnaryFunction
)
Merge.kif 16710-16710
Government
is an
instance
of
unary function
(
range
GovernmentFn
Government
)
Merge.kif 16713-16713
The
range
of
government
is an instance of
government
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
If
a form of government
is an
attribute
of the
government
of
a geopolitical area
and
the form of government
is an
instance
of
form of government
,
then
the form of government
is a
government
type of
the geopolitical area
(=>
(
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
If
unicameral legislature
is an
attribute
of
an organization
and
a geopolitical area
is a
legislative
branch of
the organization
and
another organization
is an
instance
of
legislative chamber
and
the other organization
is a part of the organization the
government
of
the geopolitical area
and
a third organization
is an
instance
of
legislative chamber
and
the third organization
is a part of the organization the
government
of
the geopolitical area
,
then
the other organization
is
equal
to
the third organization
(=>
(
and
(
diplomaticRepresentationType
?AGENT1
ConsulGeneral
?AGENT2)
(
instance
?AREA2
City
)
(
equal
?AGENT2
(
GovernmentFn
?AREA2)))
(
diplomaticOrganizationType
?AGENT1
ConsulateGeneral
?AGENT2))
Government.kif 4675-4680
If
an agent
diplomatic
representation type
consul general
for
a government
and
a geopolitical area
is an
instance
of
city
and
the government
is
equal
to the
government
of
the geopolitical area
,
then
the agent
is
diplomatic
organization type
consulate general
for
the government
(=>
(
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
If
a geopolitical area
is
diplomatic
representative in role
a human
for
a position
with
an agent
and
the geopolitical area
is an
instance
of
nation
and
an organization
is an
instance
of
diplomatic organization
and
the organization
is a part of the organization the
government
of
the geopolitical area
and
the human
holds the
position
of
the position
in
the organization
and
the agent
is an
instance
of
geopolitical area
,
then
the agent
is an
agent
operates in area of
the organization
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
GovernmentFn
?AREA)
NationalGovernment
))
(
instance
?AREA
Nation
))
Government.kif 121-125
If
a geopolitical area
is an
instance
of
geopolitical area
and the
government
of
the geopolitical area
is an
instance
of
national government
,
then
the geopolitical area
is an
instance
of
nation
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
(
GovernmentFn
?AREA) ?PERSON))
(
leader
?AREA ?PERSON))
Merge.kif 14060-14064
If
a geopolitical area
is an
instance
of
geopolitical area
and
a human
is a
leader
of the
government
of
the geopolitical area
,
then
the human
is a
leader
of
the geopolitical area
(=>
(
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
If
a geopolitical area
is an
instance
of
geopolitical area
and
a human
holds the
position
of
leader
in the
government
of
the geopolitical area
,
then there exists
a process
such that
the process
is an
instance
of
guiding
and
the geopolitical area
is a
patient
of
the process
and
the human
is an
agent
of
the process
(=>
(
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
If
an organization
is an
instance
of
government cabinet
and
the organization
is a part of the organization the
government
of
a geopolitical area
and
the geopolitical area
is an
instance
of
geopolitical area
,
then
the organization
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
stating
and
the organization
is an
agent
of
the entity
and
the other entity
is a
patient
of
the entity
and the
government
of
the geopolitical area
is a
leader
of
the other entity
(=>
(
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
If
a proposition
is an
instance
of the
constitution
of
a geopolitical area
and
the geopolitical area
is an
instance
of
nation
and
a government
is
equal
to the
government
of
the geopolitical area
and the
time
of existence of
the government
is an
instance
of
a kind of time position
and
a kind of time position
is an
agreement
effective during of
the proposition
and
another proposition
is a
sub
-proposition of
the proposition
and
a formula
contain
s information
the other proposition
,
then
the government
is
obliged
to perform tasks of type
the formula
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leader
?COUNTRY ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?COUNTRY)))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1456-1462
If
a geopolitical area
is an
instance
of
nation
and
a human
is a
leader
of
the geopolitical area
and
a position
is an
instance
of
position
and
the human
holds the
position
of
the position
in the
government
of
the geopolitical area
,
then
the position
is a
leader
position of
the geopolitical area
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leaderPosition
(
GovernmentFn
?COUNTRY) ?ROLE))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1465-1469
If
a geopolitical area
is an
instance
of
nation
and
a position
is a
leader
position of the
government
of
the geopolitical area
,
then
the position
is a
leader
position of
the geopolitical area
(=>
(
and
(
instance
?COURT
SupremeCourt
)
(
subOrganization
?COURT
(
GovernmentFn
?COUNTRY))
(
instance
?COUNTRY
Nation
))
(
instance
?COURT
(
SupremeCourtFn
?COUNTRY)))
Government.kif 2191-2196
If
an organization
is an
instance
of
supreme court
and
the organization
is a part of the organization the
government
of
a geopolitical area
and
the geopolitical area
is an
instance
of
nation
,
then
the organization
is an
instance
of the
supreme
court of
the geopolitical area
(=>
(
and
(
instance
?EVENT
Election
)
(
agent
?EVENT ?AGENT)
(
instance
?AREA
GeopoliticalArea
)
(
instance
?AGENT
(
GovernmentFn
?AREA)))
(
instance
?EVENT
PoliticalProcess
))
Merge.kif 14079-14085
If
a process
is an
instance
of
election
and
an agent
is an
agent
of
the process
and
a geopolitical area
is an
instance
of
geopolitical area
and
the agent
is an
instance
of the
government
of
the geopolitical area
,
then
the process
is an
instance
of
political process
(=>
(
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
If
a human
is an
instance
of
human
and
a position
is an
instance
of
position
and
a geopolitical area
is an
instance
of
geopolitical area
and
the position
is a
leader
position of
the geopolitical area
and
the human
holds the
position
of
the position
in the
government
of
the geopolitical area
,
then
the human
is a
leader
of
the geopolitical area
(=>
(
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
If
a process
is an
instance
of
unconventional warfare
and
a government
is an
agent
of
the process
and
the government
is not
equal
to
an agent
and
the government
is not
equal
to the
government
of
a geopolitical area
and
the agent
is a
patient
of
the process
and
the agent
is a
member
of the
resident
of
the geopolitical area
or
the agent
is a proper
sub
-collection of the
resident
of
the geopolitical area
,
then there exists
another process
such that
the other process
is an
instance
of
contest
and
the agent
is an
agent
of
the other process
and the
government
of
the geopolitical area
is an
agent
of
the other process
consequent
(<=>
(
instance
?C
City
)
(
instance
(
GovernmentFn
?C)
CityGovernment
))
Mid-level-ontology.kif 8333-8335
A geopolitical area
is an
instance
of
city
if and only if the
government
of
the geopolitical area
is an
instance
of
city government
(<=>
(
instance
?STATE
StateOrProvince
)
(
instance
(
GovernmentFn
?STATE)
StateGovernment
))
Mid-level-ontology.kif 8326-8328
A geopolitical area
is an
instance
of
state or province
if and only if the
government
of
the geopolitical area
is an
instance
of
state government
(=>
(
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
If
a geopolitical area
is
diplomatic
organization type
a kind of organization
for
an agent
and
the geopolitical area
is an
instance
of
nation
and
the agent
is an
instance
of
geopolitical area
,
then there exists
another organization
such that
the other organization
is an
instance
of
a kind of organization
and
the other organization
is
located
at
the agent
and
the other organization
is a part of the organization the
government
of
the geopolitical area
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
GeopoliticalArea
))
(
employs
(
GovernmentFn
?AGENT1) ?PERSON))
Government.kif 4486-4490
If
a geopolitical area
is
diplomatic
representative in role
a human
for
a position
with
an agent
and
the geopolitical area
is an
instance
of
geopolitical area
,
then the
government
of
the geopolitical area
employ
s
the human
(=>
(
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
If
a geopolitical area
is
diplomatic
representative in role
a human
for
a position
with
an agent
and
the geopolitical area
is an
instance
of
nation
,
then there exists
an organization
such that
the organization
is an
instance
of
diplomatic organization
and
the organization
is a part of the organization the
government
of
the geopolitical area
and
the human
holds the
position
of
the position
in
the organization
(=>
(
and
(
executiveBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 1313-1318
If
a geopolitical area
is an
executive
branch of
an organization
and
the geopolitical area
is an
instance
of
geopolitical area
and
another organization
is a part of the organization
the organization
,
then
the other organization
is a part of the organization the
government
of
the geopolitical area
(=>
(
and
(
executiveBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?BRANCH
(
GovernmentFn
?AREA)))
Government.kif 1307-1311
If
a geopolitical area
is an
executive
branch of
an organization
and
the geopolitical area
is an
instance
of
geopolitical area
,
then
the organization
is a part of the organization the
government
of
the geopolitical area
(=>
(
and
(
governmentType
?AGENT ?TYPE)
(
subAttribute
?TYPE
TheocraticGovernment
)
(
instance
?AGENT
GeopoliticalArea
))
(
instance
(
GovernmentFn
?AGENT)
ReligiousOrganization
))
Government.kif 352-357
If
a form of government
is a
government
type of
a geopolitical area
and
the form of government
is a
subattribute
of
theocratic government
and
the geopolitical area
is an
instance
of
geopolitical area
,
then the
government
of
the geopolitical area
is an
instance
of
religious organization
(=>
(
and
(
governmentType
?PLACE ?TYPE)
(
instance
?PLACE
GeopoliticalArea
)
(
subAttribute
?TYPE
ParliamentaryGovernment
))
(
exists
(?ORG)
(
and
(
instance
?ORG
Parliament
)
(
subOrganization
?ORG
(
GovernmentFn
?PLACE)))))
Government.kif 256-264
If
a form of government
is a
government
type of
a geopolitical area
and
the geopolitical area
is an
instance
of
geopolitical area
and
the form of government
is a
subattribute
of
parliamentary government
,
then there exists
an organization
such that
the organization
is an
instance
of
parliament
and
the organization
is a part of the organization the
government
of
the geopolitical area
(=>
(
and
(
instance
(
ExecutiveBranchFn
?AREA)
Organization
)
(
instance
?AREA
GeopoliticalArea
))
(
executiveBranch
(
ExecutiveBranchFn
?AREA)
(
GovernmentFn
?AREA)))
Government.kif 1336-1340
If the
executive
branch of
a geopolitical area
is an
instance
of
organization
and
the geopolitical area
is an
instance
of
geopolitical area
,
then the
government
of
the geopolitical area
is an
executive
branch of the
executive
branch of
the geopolitical area
(=>
(
and
(
instance
(
JudiciaryFn
?AREA)
Organization
)
(
instance
?AREA
GeopoliticalArea
))
(
judicialBranch
(
JudiciaryFn
?AREA)
(
GovernmentFn
?AREA)))
Government.kif 2155-2159
If the
judiciary
of
a geopolitical area
is an
instance
of
organization
and
the geopolitical area
is an
instance
of
geopolitical area
,
then the
government
of
the geopolitical area
is a
judicial
branch of the
judiciary
of
the geopolitical area
(=>
(
and
(
instance
(
LegislatureFn
?AREA)
Organization
)
(
instance
?AREA
GeopoliticalArea
))
(
legislativeBranch
(
LegislatureFn
?AREA)
(
GovernmentFn
?AREA)))
Government.kif 2050-2054
If the
legislature
of
a geopolitical area
is an
instance
of
organization
and
the geopolitical area
is an
instance
of
geopolitical area
,
then the
government
of
the geopolitical area
is a
legislative
branch of the
legislature
of
the geopolitical area
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
governmentType
?AREA ?TYPE))
(
attribute
(
GovernmentFn
?AREA) ?TYPE))
Government.kif 142-146
If
a geopolitical area
is an
instance
of
geopolitical area
and
a form of government
is a
government
type of
the geopolitical area
,
then
the form of government
is an
attribute
of the
government
of
the geopolitical area
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
?AREA ?PERSON))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Merge.kif 14066-14070
If
a geopolitical area
is an
instance
of
geopolitical area
and
a human
is a
leader
of
the geopolitical area
,
then
the human
is a
leader
of the
government
of
the geopolitical area
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
occupiesPosition
?PERSON
Leader
?AREA))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Government.kif 1346-1350
If
an organization
is an
instance
of
geopolitical area
and
a human
holds the
position
of
leader
in
the organization
,
then
the human
is a
leader
of the
government
of
the organization
(=>
(
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
If
an organization
is an
instance
of
government cabinet
and
the organization
is a part of the organization the
government
of
a geopolitical area
and
the geopolitical area
is an
instance
of
geopolitical area
,
then
the organization
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
stating
and
the organization
is an
agent
of
the entity
and
the other entity
is a
patient
of
the entity
and the
government
of
the geopolitical area
is a
leader
of
the other entity
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leaderPosition
?COUNTRY ?ROLE))
(
leaderPosition
(
GovernmentFn
?COUNTRY) ?ROLE))
Government.kif 1471-1475
If
a geopolitical area
is an
instance
of
nation
and
a position
is a
leader
position of
the geopolitical area
,
then
the position
is a
leader
position of the
government
of
the geopolitical area
(=>
(
and
(
instance
?GROUP
PoliticalPressureGroup
)
(
hasPurpose
?GROUP ?FORMULA)
(
agentOperatesInArea
?GROUP ?AREA)
(
instance
?AREA
Nation
))
(
desires
?GROUP
(
believes
(
GovernmentFn
?AREA) ?FORMULA)))
Government.kif 2362-2369
If
a cognitive agent
is an
instance
of
political pressure group
and
the cognitive agent
has the purpose
a formula
and
a geographic area
is an
agent
operates in area of
the cognitive agent
and
the geographic area
is an
instance
of
nation
,
then
the cognitive agent
desire
s the
government
of
the geographic area
believe
s
the 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
If
a process
is an
instance
of
political revolution
and
an entity
is a
patient
of
the process
,
then there exist
another entity
and
a third entity
such that
the other entity
is
equal
to the
government
of
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the third entity
is
equal
to the
government
of
the entity
holds
during
the
end
of the
time
of existence of
the process
and
the other entity
is not
equal
to
the third entity
(=>
(
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
If
a process
is an
instance
of
unconventional warfare
and
a government
is an
agent
of
the process
and
the government
is not
equal
to
an agent
and
the government
is not
equal
to the
government
of
a geopolitical area
and
the agent
is a
patient
of
the process
and
the agent
is a
member
of the
resident
of
the geopolitical area
or
the agent
is a proper
sub
-collection of the
resident
of
the geopolitical area
,
then there exists
another process
such that
the other process
is an
instance
of
contest
and
the agent
is an
agent
of
the other process
and the
government
of
the geopolitical area
is an
agent
of
the other process
(=>
(
and
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 2130-2135
If
a geopolitical area
is a
judicial
branch of
an organization
and
the geopolitical area
is an
instance
of
geopolitical area
and
another organization
is a part of the organization
the organization
,
then
the other organization
is a part of the organization the
government
of
the geopolitical area
(=>
(
and
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?BRANCH
(
GovernmentFn
?AREA)))
Government.kif 2124-2128
If
a geopolitical area
is a
judicial
branch of
an organization
and
the geopolitical area
is an
instance
of
geopolitical area
,
then
the organization
is a part of the organization the
government
of
the geopolitical area
(=>
(
and
(
legislativeBranch
?ORG ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 2029-2033
If
a geopolitical area
is a
legislative
branch of
an organization
and
the geopolitical area
is an
instance
of
geopolitical area
,
then
the organization
is a part of the organization the
government
of
the geopolitical area
(=>
(
and
(
representativeAgentToAgent
?SENDER ?REP ?RECEIVER)
(
instance
?SENDER
Nation
)
(
instance
?REP
CognitiveAgent
))
(
employs
(
GovernmentFn
?SENDER) ?REP))
Government.kif 4614-4619
If
a geopolitical area
is
representative
agent to agent
a cognitive agent
for
an agent
and
the geopolitical area
is an
instance
of
nation
and
the cognitive agent
is an
instance
of
cognitive agent
,
then the
government
of
the geopolitical area
employ
s
the cognitive agent
(=>
(
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
If
expeditionary force
is an
attribute
of
an object
,
then
the object
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the object
is a part of the organization the
government
of
the other entity
and
the entity
is an
instance
of
battle
and
the object
is an
agent
of
the entity
and
the third entity
is an
instance
of
nation
and
the entity
is
located
at
the third entity
and
the other entity
is not
equal
to
the third entity
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
Department of homeland security
is a part of the organization the
government
of
united states
(
subOrganization
USFoodAndDrugAdministration
(
GovernmentFn
UnitedStates
))
VirusProteinAndCellPart.kif 1283-1283
US food and drug administration
is a part of the organization the
government
of
united states
(
subOrganization
USStateDepartment
(
GovernmentFn
UnitedStates
))
Government.kif 2391-2391
US state department
is a part of the organization the
government
of
united states
(
subOrganization
UnitedStatesCongress
(
GovernmentFn
UnitedStates
))
Government.kif 1949-1949
United states congress
is a part of the organization the
government
of
united states
(
subOrganization
UnitedStatesDepartmentOfInterior
(
GovernmentFn
UnitedStates
))
Government.kif 4855-4855
United states department of interior
is a part of the organization the
government
of
united states
(
subOrganization
UnitedStatesDepartmentOfState
(
GovernmentFn
UnitedStates
))
Government.kif 4850-4850
United states department of state
is a part of the organization the
government
of
united states
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