Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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 16889-16893
(
domain
GovernmentFn
1
GeopoliticalArea
)
Merge.kif 16887-16887
The number 1 argument of
government
is an
instance
of
geopolitical area
(
instance
GovernmentFn
PartialValuedRelation
)
Merge.kif 16886-16886
Government
is an
instance
of
partial valued relation
(
instance
GovernmentFn
UnaryFunction
)
Merge.kif 16885-16885
Government
is an
instance
of
unary function
(
range
GovernmentFn
Government
)
Merge.kif 16888-16888
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 26309-26309
(
termFormat
ChineseLanguage
GovernmentFn
"政府函数")
chinese_format.kif 803-803
(
termFormat
ChineseTraditionalLanguage
GovernmentFn
"政府")
domainEnglishFormat.kif 26308-26308
(
termFormat
EnglishLanguage
GovernmentFn
"government")
domainEnglishFormat.kif 26307-26307
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 1939-1947
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
equal
the other organization
and
the third organization
(=>
(
and
(
diplomaticRepresentationType
?AGENT1
ConsulGeneral
?AGENT2)
(
instance
?AREA2
City
)
(
equal
?AGENT2
(
GovernmentFn
?AREA2)))
(
diplomaticOrganizationType
?AGENT1
ConsulateGeneral
?AGENT2))
Government.kif 4636-4641
If
an agent
diplomatic
representation type
consul general
for
a government
and
a geopolitical area
is an
instance
of
city
and
equal
the government
and 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 4472-4480
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 14213-14217
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 2270-2278
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 1475-1486
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 736-745
If
a proposition
is an
instance
of the
constitution
of
a geopolitical area
and
the geopolitical area
is an
instance
of
nation
and
equal
a government
and 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 1418-1424
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 1427-1431
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 2152-2157
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 14232-14238
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 1449-1456
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
equal
the government
and
an agent
and
equal
the government
and not 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 9539-9541
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 9532-9534
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
(
attribute
?X
BlueforceControlled
)
(
instance
?X
Object
))
(
exists
(?A)
(
and
(
instance
?A
GovernmentOrganization
)
(
possesses
?A ?X)
(
or
(
subOrganization
?A
(
GovernmentFn
UnitedStates
))
(
allied
?A
(
GovernmentFn
UnitedStates
))))))
MilitaryProcesses.kif 2808-2820
If
blue force controlled
is an
attribute
of
an object
and
the object
is an
instance
of
object
,
then there exists
an organization
such that
the organization
is an
instance
of
government organization
and
the organization
possess
es
the object
and
the organization
is a part of the organization the
government
of
united states
or
the organization
and the
government
of
united states
are allies of each other
(=>
(
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 4609-4618
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 4447-4451
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 4431-4439
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 1275-1280
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 1269-1273
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 1298-1302
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 2116-2120
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 2012-2016
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 14219-14223
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 1308-1312
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 1475-1486
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 1433-1437
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 2323-2330
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 15259-15271
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
equal
the other entity
and the
government
of
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
equal
the third entity
and the
government
of
the entity
holds
during
the
end
of the
time
of existence of
the process
and
equal
the other entity
and
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
equal
the government
and
an agent
and
equal
the government
and not 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 2092-2097
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 2086-2090
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 1991-1995
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 4575-4580
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
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
subOrganization
DepartmentOfHomelandSecurity
(
GovernmentFn
UnitedStates
))
Government.kif 4789-4789
Department of homeland security
is a part of the organization the
government
of
united states
(
subOrganization
USFoodAndDrugAdministration
(
GovernmentFn
UnitedStates
))
VirusProteinAndCellPart.kif 1291-1291
US food and drug administration
is a part of the organization the
government
of
united states
(
subOrganization
USStateDepartment
(
GovernmentFn
UnitedStates
))
Government.kif 2352-2352
US state department
is a part of the organization the
government
of
united states
(
subOrganization
UnitedStatesCongress
(
GovernmentFn
UnitedStates
))
Government.kif 1911-1911
United states congress
is a part of the organization the
government
of
united states
(
subOrganization
UnitedStatesDepartmentOfInterior
(
GovernmentFn
UnitedStates
))
Government.kif 4816-4816
United states department of interior
is a part of the organization the
government
of
united states
(
subOrganization
UnitedStatesDepartmentOfState
(
GovernmentFn
UnitedStates
))
Government.kif 4811-4811
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