GovernmentFn
(=>
(
chiefOfState
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON ?POSITION
(
GovernmentFn
?AREA)))
Government.kif 1562-1564
chiefOfState
Area Geopolitica
,
Posicao
and
Humano
Humano
ocupa a
posicao
de
Posicao
o
governo
de
Area Geopolitica
(=>
(
chiefOfState
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON
Leader
(
GovernmentFn
?AREA)))
Government.kif 1566-1568
chiefOfState
Area Geopolitica
,
Posicao
and
Humano
Humano
ocupa a
posicao
de
Leader
o
governo
de
Area Geopolitica
(=>
(
headOfGovernment
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON ?POSITION
(
GovernmentFn
?AREA)))
Government.kif 1615-1617
headOfGovernment
Area Geopolitica
,
Posicao
and
Humano
Humano
ocupa a
posicao
de
Posicao
o
governo
de
Area Geopolitica
(=>
(
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
hostileForces
MilitaryUnit
and
MilitaryUnit
Contest
Area Geopolitica
and
Area Geopolitica
Contest
e' uma
instancia
de
Guerra
contestParticipant
Contest
and
Area Geopolitica
contestParticipant
Contest
and
Area Geopolitica
MilitaryUnit
e' uma parte da organizacao o
governo
de
Area Geopolitica
MilitaryUnit
e' uma parte da organizacao o
governo
de
Area Geopolitica
(=>
(
instance
?AREA
ParliamentaryTerritory
)
(
governmentType
(
GovernmentFn
?AREA)
ParliamentaryGovernment
))
Government.kif 527-529
Area Geopolitica
e' uma
instancia
de
ParliamentaryTerritory
governmentType
o
governo
de
Area Geopolitica
and
ParliamentaryGovernment
(=>
(
instance
?COUNTRY
Nation
)
(
instance
(
GovernmentFn
?COUNTRY)
NationalGovernment
))
Government.kif 117-119
Area Geopolitica
e' uma
instancia
de
Nacao
o
governo
de
Area Geopolitica
e' uma
instancia
de
NationalGovernment
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