GovernmentFn
(=>
(
chiefOfState
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON ?POSITION
(
GovernmentFn
?AREA)))
Government.kif 1562-1564
chiefOfState
secteur g�opolitique
,
position
and
humain
humain
occupe la
position
de
position
le
gouvernment
de
secteur g�opolitique
(=>
(
chiefOfState
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON
Leader
(
GovernmentFn
?AREA)))
Government.kif 1566-1568
chiefOfState
secteur g�opolitique
,
position
and
humain
humain
occupe la
position
de
Leader
le
gouvernment
de
secteur g�opolitique
(=>
(
headOfGovernment
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON ?POSITION
(
GovernmentFn
?AREA)))
Government.kif 1615-1617
headOfGovernment
secteur g�opolitique
,
position
and
humain
humain
occupe la
position
de
position
le
gouvernment
de
secteur g�opolitique
(=>
(
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
affrontement
secteur g�opolitique
and
secteur g�opolitique
affrontement
est une
instance
de
guerre
contestParticipant
affrontement
and
secteur g�opolitique
contestParticipant
affrontement
and
secteur g�opolitique
MilitaryUnit
est une partie de l'organization le
gouvernment
de
secteur g�opolitique
MilitaryUnit
est une partie de l'organization le
gouvernment
de
secteur g�opolitique
(=>
(
instance
?AREA
ParliamentaryTerritory
)
(
governmentType
(
GovernmentFn
?AREA)
ParliamentaryGovernment
))
Government.kif 527-529
Secteur g�opolitique
est une
instance
de
ParliamentaryTerritory
governmentType
le
gouvernment
de
secteur g�opolitique
and
ParliamentaryGovernment
(=>
(
instance
?COUNTRY
Nation
)
(
instance
(
GovernmentFn
?COUNTRY)
NationalGovernment
))
Government.kif 117-119
Secteur g�opolitique
est une
instance
de
nation
le
gouvernment
de
secteur g�opolitique
est une
instance
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