GovernmentFn
(=>
(
chiefOfState
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON ?POSITION
(
GovernmentFn
?AREA)))
Government.kif 1562-1564
GeopoliticalArea
州
Position
的
chief
對於
Human
佔據位置
Human
,
Position
and
政府
GeopoliticalArea
(=>
(
chiefOfState
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON
Leader
(
GovernmentFn
?AREA)))
Government.kif 1566-1568
GeopoliticalArea
州
Position
的
chief
對於
Human
佔據位置
Human
,
領導
and
政府
GeopoliticalArea
(=>
(
headOfGovernment
?AREA ?POSITION ?PERSON)
(
occupiesPosition
?PERSON ?POSITION
(
GovernmentFn
?AREA)))
Government.kif 1615-1617
GeopoliticalArea
是 對於 %3 的政府領導
佔據位置
Human
,
Position
and
政府
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
軍事單位
是
軍事單位
的
hostile
力量
Contest
GeopoliticalArea
and
GeopoliticalArea
例
Contest
and
War
GeopoliticalArea
participates
在
Contest
GeopoliticalArea
participates
在
Contest
子組織
軍事單位
and
政府
GeopoliticalArea
子組織
軍事單位
and
政府
GeopoliticalArea
(=>
(
instance
?AREA
ParliamentaryTerritory
)
(
governmentType
(
GovernmentFn
?AREA)
ParliamentaryGovernment
))
Government.kif 527-529
例
GeopoliticalArea
and
議會領土
%2 是 1% 的
government
類別
(=>
(
instance
?COUNTRY
Nation
)
(
instance
(
GovernmentFn
?COUNTRY)
NationalGovernment
))
Government.kif 117-119
例
GeopoliticalArea
and
Nation
例
政府
GeopoliticalArea
and
國家政府
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