GovernmentFn
(=>
(
chiefOfState
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON ?POSITION
(
GovernmentFn
?AREA)))
Government.kif 1562-1564
chiefOfState
AreaGeopolitica
,
Posizione
and
Umano
Umano
occupa la
posizione
di
Posizione
in
GovernmentFn
AreaGeopolitica
(=>
(
chiefOfState
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON
Leader
(
GovernmentFn
?AREA)))
Government.kif 1566-1568
chiefOfState
AreaGeopolitica
,
Posizione
and
Umano
Umano
occupa la
posizione
di
Leader
in
GovernmentFn
AreaGeopolitica
(=>
(
headOfGovernment
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON ?POSITION
(
GovernmentFn
?AREA)))
Government.kif 1615-1617
headOfGovernment
AreaGeopolitica
,
Posizione
and
Umano
Umano
occupa la
posizione
di
Posizione
in
GovernmentFn
AreaGeopolitica
(=>
(
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
Competizione
AreaGeopolitica
and
AreaGeopolitica
Competizione
è un'
istanza
di
Guerra
contestParticipant
Competizione
and
AreaGeopolitica
contestParticipant
Competizione
and
AreaGeopolitica
subOrganization
MilitaryUnit
and
GovernmentFn
AreaGeopolitica
subOrganization
MilitaryUnit
and
GovernmentFn
AreaGeopolitica
(=>
(
instance
?AREA
ParliamentaryTerritory
)
(
governmentType
(
GovernmentFn
?AREA)
ParliamentaryGovernment
))
Government.kif 527-529
AreaGeopolitica
è un'
istanza
di
ParliamentaryTerritory
governmentType
GovernmentFn
AreaGeopolitica
and
ParliamentaryGovernment
(=>
(
instance
?COUNTRY
Nation
)
(
instance
(
GovernmentFn
?COUNTRY)
NationalGovernment
))
Government.kif 117-119
AreaGeopolitica
è un'
istanza
di
Nazione
GovernmentFn
AreaGeopolitica
è un'
istanza
di
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