GovernmentFn
(=>
(
chiefOfState
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON ?POSITION
(
GovernmentFn
?AREA)))
Government.kif 1562-1564
chiefOfState
地政学的地域
,
ポジション
and
人[人間]
人[人間]
は
地政学的地域
の
government
の
ポジション
の
position
を holds %n{ない}
(=>
(
chiefOfState
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON
Leader
(
GovernmentFn
?AREA)))
Government.kif 1566-1568
chiefOfState
地政学的地域
,
ポジション
and
人[人間]
人[人間]
は
地政学的地域
の
government
の
Leader
の
position
を holds %n{ない}
(=>
(
headOfGovernment
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON ?POSITION
(
GovernmentFn
?AREA)))
Government.kif 1615-1617
headOfGovernment
地政学的地域
,
ポジション
and
人[人間]
人[人間]
は
地政学的地域
の
government
の
ポジション
の
position
を holds %n{ない}
(=>
(
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 8426-8434
hostileForces
MilitaryUnit
and
MilitaryUnit
コンテスト
地政学的地域
and
地政学的地域
コンテスト
は
戦争
の
instance
では %n
contestParticipant
コンテスト
and
地政学的地域
contestParticipant
コンテスト
and
地政学的地域
MilitaryUnit
は組織
地政学的地域
の
government
の一部では %n
MilitaryUnit
は組織
地政学的地域
の
government
の一部では %n
(=>
(
instance
?AREA
ParliamentaryTerritory
)
(
governmentType
(
GovernmentFn
?AREA)
ParliamentaryGovernment
))
Government.kif 527-529
地政学的地域
は
ParliamentaryTerritory
の
instance
では %n
governmentType
地政学的地域
の
government
and
ParliamentaryGovernment
(=>
(
instance
?COUNTRY
Nation
)
(
instance
(
GovernmentFn
?COUNTRY)
NationalGovernment
))
Government.kif 117-119
地政学的地域
は
国民
の
instance
では %n
地政学的地域
の
government
は
NationalGovernment
の
instance
では %n
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