GovernmentFn
(=>
(
chiefOfState
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON ?POSITION
(
GovernmentFn
?AREA)))
Government.kif 1562-1564
Wenn
chiefOfState
GeopoliticalArea
,
Position
and
Human
,
dann
** Human
besetzt die
position
von
** Position
in
GovernmentFn
** GeopoliticalArea
(=>
(
chiefOfState
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON
Leader
(
GovernmentFn
?AREA)))
Government.kif 1566-1568
Wenn
chiefOfState
GeopoliticalArea
,
Position
and
Human
,
dann
** Human
besetzt die
position
von
Leader
in
GovernmentFn
** GeopoliticalArea
(=>
(
headOfGovernment
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON ?POSITION
(
GovernmentFn
?AREA)))
Government.kif 1615-1617
Wenn
headOfGovernment
GeopoliticalArea
,
Position
and
Human
,
dann
** Human
besetzt die
position
von
** Position
in
GovernmentFn
** GeopoliticalArea
(=>
(
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
Wenn
hostileForces
MilitaryUnit
and
** MilitaryUnit
,
dann es gibt
Contest
,
GeopoliticalArea
, and und
** GeopoliticalArea
um
** Contest
ist ein
fall
von
War
%n{nicht} und
contestParticipant
** Contest
and
** GeopoliticalArea
und
contestParticipant
** Contest
and
** ** GeopoliticalArea
und
subOrganization
** MilitaryUnit
and
GovernmentFn
** GeopoliticalArea
und
subOrganization
** ** MilitaryUnit
and
GovernmentFn
** ** GeopoliticalArea
(=>
(
instance
?AREA
ParliamentaryTerritory
)
(
governmentType
(
GovernmentFn
?AREA)
ParliamentaryGovernment
))
Government.kif 527-529
Wenn
GeopoliticalArea
ist ein
fall
von
ParliamentaryTerritory
%n{nicht},
dann
governmentType
GovernmentFn
** GeopoliticalArea
and
ParliamentaryGovernment
(=>
(
instance
?COUNTRY
Nation
)
(
instance
(
GovernmentFn
?COUNTRY)
NationalGovernment
))
Government.kif 117-119
Wenn
GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht},
dann
GovernmentFn
** GeopoliticalArea
ist ein
fall
von
NationalGovernment
%n{nicht}
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