GovernmentFn
(=>
(
chiefOfState
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON ?POSITION
(
GovernmentFn
?AREA)))
Government.kif 1562-1564
If
a geopolitical area
chief
of state
a position
for
a human
,
then
the human
holds the
position
of
the position
in the
government
of
the geopolitical area
(=>
(
chiefOfState
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON
Leader
(
GovernmentFn
?AREA)))
Government.kif 1566-1568
If
a geopolitical area
chief
of state
a position
for
a human
,
then
the human
holds the
position
of
leader
in the
government
of
the geopolitical area
(=>
(
headOfGovernment
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON ?POSITION
(
GovernmentFn
?AREA)))
Government.kif 1615-1617
If
a geopolitical area
is the
head
of government
a position
for
a human
,
then
the human
holds the
position
of
the position
in the
government
of
the geopolitical area
(=>
(
hostileForces
?U1 ?U2)
(
exists
(?WAR ?A1 ?A2)
(
and
(
instance
?WAR
War
)
(
contestParticipant
?WAR ?A1)
(
contestParticipant
?WAR ?A2)
(
subOrganization
?U1
(
GovernmentFn
?A1))
(
subOrganization
?U2
(
GovernmentFn
?A2)))))
Mid-level-ontology.kif 8427-8435
If
a military unit
is a
hostile
forces of
another military unit
,
then there exist
a contest
,
a geopolitical area
and
another geopolitical area
such that
the contest
is an
instance
of
war
and
the geopolitical area
participates
in
the contest
and
the other geopolitical area
participates
in
the contest
and
the other military unit
is a part of the organization the
government
of
the geopolitical area
and
the military unit
is a part of the organization the
government
of
the other geopolitical area
(=>
(
instance
?AREA
ParliamentaryTerritory
)
(
governmentType
(
GovernmentFn
?AREA)
ParliamentaryGovernment
))
Government.kif 527-529
If
a geopolitical area
is an
instance
of
parliamentary territory
,
then
parliamentary government
is a
government
type of the
government
of
the geopolitical area
(=>
(
instance
?COUNTRY
Nation
)
(
instance
(
GovernmentFn
?COUNTRY)
NationalGovernment
))
Government.kif 117-119
If
a geopolitical area
is an
instance
of
nation
,
then the
government
of
the geopolitical area
is an
instance
of
national government
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