subOrganization
(=>
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
(
CabinetFn
?AREA)
(
ExecutiveBranchFn
?AREA)))
Government.kif 1534-1536
如果
地缘政治区域
是
地缘政治区域
的
instance
,
然后
那个 地缘政治区域
的
cabinet
是
那个 地缘政治区域
的
executive
分支
Organization
的一部分
(=>
(
instance
?BOARD
OrganizationalBoard
)
(
exists
(?ORG ?MANAGE)
(
and
(
subOrganization
?BOARD ?ORG)
(
instance
?MANAGE
Managing
)
(
agent
?MANAGE ?BOARD)
(
patient
?MANAGE ?ORG))))
Mid-level-ontology.kif 8512-8519
如果
机构
是
组织委员会
的
instance
,
然后 有存在
另一个 机构
和
过程
这样
那个 机构
是
那个 另外 机构
Organization
的一部分 和
那个 过程
是
管理
的
instance
和
那个 机构
是
那个 过程
的
agent
和
那个 另外 机构
是
那个 过程
的
patient
(=>
(
instance
?C
AnglicanChurch
)
(
subOrganization
?C
ChurchOfEngland
))
People.kif 834-836
如果
机构
是
AnglicanChurch
的
instance
,
然后
那个 机构
是
英格兰教堂
Organization
的一部分
(=>
(
instance
?C
LocalChurchOfLatterDaySaints
)
(
subOrganization
?C
ChurchOfJesusChristOfLatterDaySaints
))
People.kif 1155-1157
如果
机构
是
LocalChurchOfLatterDaySaints
的
instance
,
然后
那个 机构
是
ChurchOfJesusChristOfLatterDaySaints
Organization
的一部分
(=>
(
instance
?C
LocalRomanCatholicChurch
)
(
subOrganization
?C
RomanCatholicChurch
))
People.kif 893-895
如果
机构
是
LocalRomanCatholicChurch
的
instance
,
然后
那个 机构
是
罗马天主教会
Organization
的一部分
(=>
(
instance
?COURT
(
SupremeCourtFn
?COUNTRY))
(
subOrganization
?COURT
(
JudiciaryFn
?COUNTRY)))
Government.kif 2187-2189
如果
机构
是
地缘政治区域
的
supreme
法庭 的
instance
,
然后
那个 机构
是
那个 地缘政治区域
的
judiciary
Organization
的一部分
(=>
(
instance
?FMF
FleetMarineForce
)
(
exists
(?M)
(
and
(
instance
?M
MarinesBranchOfService
)
(
subOrganization
?FMF ?M))))
Medicine.kif 6065-6070
如果
机构
是
FleetMarineForce
的
instance
,
然后 有存在
另一个 机构
这样
那个 另外 机构
是
海军陆战队-支部
的
instance
和
那个 机构
是
那个 另外 机构
Organization
的一部分
(=>
(
instance
?HN
HostNation
)
(
exists
(?GETTING ?FORCES ?OTHERNATION ?MILITARY)
(
and
(
instance
?OTHERNATION
Nation
)
(
instance
?MILITARY
MilitaryForce
)
(
militaryOfArea
?MILITARY ?OTHERNATION)
(
subOrganization
?FORCES ?MILITARY)
(
not
(
equal
?HN ?OTHERNATION))
(
not
(
enemy
?HN ?OTHERNATION))
(
instance
?GETTING
Getting
)
(
agent
?GETTING ?HN)
(
patient
?GETTING ?FORCES)
(
instance
?FORCES
MilitaryForce
)
(
located
?FORCES ?HN))))
MilitaryProcesses.kif 1357-1373
如果
施事体
是
主办国
的
instance
,
然后 有存在
过程
,
机构
,, ,
地缘政治区域
, and 和
军事组织
这样
那个 地缘政治区域
是
国家
的
instance
和
那个 军事组织
是
军事力量
的
instance
和
那个 地缘政治区域
是
那个 军事组织
的
military
区域 和
那个 机构
是
那个 军事组织
Organization
的一部分 和
那个 施事体
不
equal
那个 地缘政治区域
和
enemy
那个 施事体
and
那个 地缘政治区域
和
那个 过程
是
获得
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
那个 机构
是
那个 过程
的
patient
和
那个 机构
是
军事力量
的
instance
和
那个 机构
是
located
在
那个 施事体
(=>
(
instance
?LEGE
BicameralLegislature
)
(
exists
(?CHAMBER1 ?CHAMBER2)
(
and
(
instance
?CHAMBER1
LegislativeChamber
)
(
subOrganization
?CHAMBER1 ?LEGE)
(
instance
?CHAMBER2
LegislativeChamber
)
(
subOrganization
?CHAMBER2 ?LEGE)
(
not
(
equal
?CHAMBER1 ?CHAMBER2)))))
Government.kif 1959-1967
如果
机构
是
两院制立法机关
的
instance
,
然后 有存在
另一个 机构
和
第三 机构
这样
那个 另外 机构
是
立法院
的
instance
和
那个 另外 机构
是
那个 机构
Organization
的一部分 和
那个 第三 机构
是
立法院
的
instance
和
那个 第三 机构
是
那个 机构
Organization
的一部分 和
那个 另外 机构
不
equal
那个 第三 机构
(=>
(
instance
?ORG
GovernmentOrganization
)
(
exists
(?GOV)
(
and
(
instance
?GOV
Government
)
(
subOrganization
?ORG ?GOV))))
Merge.kif 16684-16689
如果
机构
是
政府组织
的
instance
,
然后 有存在
另一个 机构
这样
那个 另外 机构
是
政府
的
instance
和
那个 机构
是
那个 另外 机构
Organization
的一部分
(=>
(
instance
?X
HotelFrontDesk
)
(
exists
(?ORG)
(
and
(
attribute
?ORG
TravelerAccommodation
)
(
subOrganization
?X ?ORG))))
Hotel.kif 1748-1753
如果
机构
是
HotelFrontDesk
的
instance
,
然后 有存在
另一个 机构
这样
旅客住宿
是
那个 另外 机构
的
attribute
和
那个 机构
是
那个 另外 机构
Organization
的一部分
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