Organization
(机构)
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
Utilities
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
or
(
instance
?EV
Removing
)
(
instance
?THING
Sewage
))
(
patient
?EV ?THING)
(
or
(
instance
?THING
Electron
)
(
instance
?THING
Water
)
(
and
(
instance
?THING
PureSubstance
)
(
capability
Combustion
patient
?THING)))
(
member
?MEM2 ?ORG)
(
instance
?EV2
FinancialTransaction
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 954-977
如果
群体
是
机构
的
instance
和
公用事业
是
那个 群体
的
attribute
,
然后 有存在
施事体
和
过程
这样
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和 有存在
客体
,
那个 过程
2, and 和
那个 施事体
2 这样
那个 施事体
是
移除
的
instance
或
那个 客体
是
污水
的
instance
和
那个 客体
是
那个 施事体
的
patient
和
那个 客体
是
电子
的
instance
或
那个 客体
是
水
的
instance
或
那个 客体
是
純物质
的
instance
和
那个 客体
能够担当
受事
的角色做
燃烧
和
那个 过程
2 是
那个 群体
的
member
和
那个 施事体
2 是
金融交易
的
instance
和
那个 过程
2 是
那个 施事体
2 的
agent
和
那个 客体
是
那个 施事体
2 的
patient
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
WarehousingAndStorage
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P ?OBJ)
(
and
(
instance
?EV
Selling
)
(
instance
?OBJ
Object
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?B ?T)
(
and
(
instance
?T
TimeInterval
)
(
instance
?B
Building
)
(
possesses
?P ?OBJ)
(
holdsDuring
?T
(
located
?B ?OBJ)))) ?MEM ?P))))))
naics.kif 8776-8797
如果
群体
是
机构
的
instance
和
仓储和储存
是
那个 群体
的
attribute
,
然后 有存在
施事体
和
过程
这样
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和 有存在
有认知的主事
和
实体
这样
那个 施事体
是
出售
的
instance
和
那个 实体
是
客体
的
instance
和
那个 有认知的主事
是
人类
的
instance
和
那个 有认知的主事
是
那个 施事体
的
patient
和
那个 过程
允许
那个 有认知的主事
执行 有存在
另一个 实体
和
第三 实体
这样
那个 第三 实体
是
时距
的
instance
和
那个 另外 实体
是
建筑物
的
instance
和
那个 有认知的主事
possesses
那个 实体
和
那个 另外 实体
是
located
在
那个 实体
在
那个 第三 实体
holdsDuring
的任务
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
WaterTransportationIndustry
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?T ?V ?OBJ)
(
and
(
instance
?T
Transportation
)
(
or
(
patient
?T ?P)
(
and
(
possesses
?P ?OBJ)
(
patient
?T ?OBJ)
(
instance
?OBJ
Object
)))
(
possesses
?ORG ?V)
(
instance
?V
WaterVehicle
))) ?MEM ?P))))))
naics.kif 8080-8105
如果
群体
是
机构
的
instance
和
水运业
是
那个 群体
的
attribute
,
然后 有存在
施事体
和
过程
这样
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和 有存在
有认知的主事
这样
那个 施事体
是
出售
的
instance
和
那个 有认知的主事
是
人类
的
instance
和
那个 有认知的主事
是
那个 施事体
的
patient
和
那个 过程
允许
那个 有认知的主事
执行 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
是
运输
的
instance
和
那个 有认知的主事
是
那个 实体
的
patient
或
那个 有认知的主事
possesses
那个 第三 实体
和
那个 第三 实体
是
那个 实体
的
patient
和
那个 第三 实体
是
客体
的
instance
和
那个 群体
possesses
那个 另外 实体
和
那个 另外 实体
是
水车
的
instance
的任务
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
WholesaleTrade
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Selling
)
(
instance
?THING
Object
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 6375-6391
如果
群体
是
机构
的
instance
和
批发贸易
是
那个 群体
的
attribute
,
然后 有存在
施事体
和
过程
这样
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和 有存在
实体
,
那个 过程
2, and 和
那个 施事体
2 这样
那个 施事体
是
出售
的
instance
和
那个 实体
是
客体
的
instance
和
那个 实体
是
那个 施事体
的
patient
和
那个 过程
2 是
那个 群体
的
member
和
那个 施事体
2 是
出售
的
instance
和
那个 过程
2 是
那个 施事体
2 的
agent
和
那个 实体
是
那个 施事体
2 的
patient
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
WoodProductManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
or
(
instance
?THING
Wood
)
(
material
Wood
?THING))
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 2563-2581
如果
群体
是
机构
的
instance
和
木制品制造业
是
那个 群体
的
attribute
,
然后 有存在
施事体
和
过程
这样
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和 有存在
躯体性物体
,
那个 过程
2, and 和
那个 施事体
2 这样
那个 施事体
是
制造
的
instance
和
那个 躯体性物体
是
木
的
instance
或
木
是
那个 躯体性物体
的材料 和
那个 躯体性物体
是
那个 施事体
的
patient
和
那个 过程
2 是
那个 群体
的
member
和
那个 施事体
2 是
出售
的
instance
和
那个 过程
2 是
那个 施事体
2 的
agent
和
那个 躯体性物体
是
那个 施事体
2 的
patient
(=>
(
and
(
instance
?ORG
Organization
)
(
member
?AGENT ?ORG))
(
instance
?AGENT
AutonomousAgent
))
Merge.kif 16631-16635
如果
群体
是
机构
的
instance
和
物理
是
那个 群体
的
member
,
然后
那个 物理
是
施事体
的
instance
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ORG
Organization
)
(
instance
?POSITION
Position
)
(
attribute
?PERSON
(
MemberRoleFn
?ORG ?POSITION)))
(
occupiesPosition
?PERSON ?POSITION ?ORG))
Government.kif 1806-1812
如果
人类
是
人类
的
instance
和
机构
是
机构
的
instance
和
地位
是
地位
的
instance
和
那个 地位
和
那个 机构
的
member
角色 是
那个 人类
的
attribute
,
然后
那个 人类
在
那个 机构
任职
那个 地位
(=>
(
and
(
instance
?PROCESS
JudicialProcess
)
(
agent
?PROCESS ?ORG)
(
instance
?ORG
Organization
))
(
instance
?ORG
JudicialOrganization
))
Merge.kif 10780-10785
如果
过程
是
司法程序
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 施事体
是
机构
的
instance
,
然后
那个 施事体
是
司法组织
的
instance
(=>
(
and
(
instance
?STRIKE
LaborStriking
)
(
agent
?STRIKE ?PERSON)
(
instance
?PERSON
Human
)
(
patient
?STRIKE ?ORG)
(
instance
?ORG
Organization
))
(
employs
?ORG ?PERSON))
Mid-level-ontology.kif 16916-16923
如果
过程
是
劳工引人注目
的
instance
和
有认知的主事
是
那个 过程
的
agent
和
那个 有认知的主事
是
人类
的
instance
和
施事体
是
那个 过程
的
patient
和
那个 施事体
是
机构
的
instance
,
然后
那个 施事体
employs
那个 有认知的主事
(=>
(
and
(
instance
?UNIT
CommercialUnit
)
(
instance
?ORG
Organization
)
(
located
?ORG ?UNIT))
(
not
(
exists
(?OTHER)
(
and
(
instance
?OTHER
Organization
)
(
located
?OTHER ?UNIT)
(
not
(
equal
?OTHER ?ORG))))))
Mid-level-ontology.kif 7068-7077
如果
客体
是
商业单位
的
instance
和
物理
是
机构
的
instance
和
那个 物理
是
located
在
那个 客体
,
然后 不存在
另一个 物理
这样
那个 另外 物理
是
机构
的
instance
和
那个 另外 物理
是
located
在
那个 客体
和
那个 另外 物理
不
equal
那个 物理
(=>
(
and
(
judicialBranch
?BRANCH ?ORG)
(
instance
?ORG
Organization
))
(
subOrganization
?BRANCH ?ORG))
Government.kif 2118-2122
如果
机构
是
另一个 机构
的
judicial
分支 和
那个 机构
是
机构
的
instance
,
然后
那个 另外 机构
是
那个 机构
Organization
的一部分
(=>
(
and
(
legislativeBranch
?ORG ?AGENT)
(
instance
?AGENT
Organization
))
(
subOrganization
?ORG ?AGENT))
Government.kif 2023-2027
如果
机构
是
另一个 机构
的
legislative
分支 和
那个 机构
是
机构
的
instance
,
然后
那个 另外 机构
是
那个 机构
Organization
的一部分
(=>
(
and
(
names
?STRING ?OBJ)
(
instance
?OBJ
Organization
))
(
organizationName
?STRING ?OBJ))
Media.kif 3480-3484
如果
机构
的名 是
符号串
和
那个 机构
是
机构
的
instance
,
然后
那个 机构
是
called
那个 符号串
(=>
(
and
(
representativeAgentToAgent
?SENDER ?REP ?RECEIVER)
(
instance
?SENDER
Organization
)
(
instance
?REP
CognitiveAgent
))
(
employs
?SENDER ?REP))
Government.kif 4607-4612
如果 %1 是 对于 %3 给代理 %2 的
representative
代理 和
施事体
是
机构
的
instance
和
有认知的主事
是
有认知的主事
的
instance
,
然后
那个 施事体
employs
那个 有认知的主事
(=>
(
and
(
subclass
?PLATFORM
PartyPlatform
)
(
authors
?PARTY ?PLATFORM)
(
instance
?PARTY
Organization
))
(
instance
?PARTY
PoliticalParty
))
Government.kif 2324-2329
如果
有点 有内用物体
是
党的平台
的
subclass
和
施事体
是
有点 有内用物体
的
authors
和
那个 施事体
是
机构
的
instance
,
然后
那个 施事体
是
政治党派
的
instance
(=>
(
instance
(
ExecutiveBranchFn
?AGENT)
Organization
)
(
executiveBranch
(
ExecutiveBranchFn
?AGENT) ?AGENT))
Government.kif 1332-1334
如果
施事体
的
executive
分支 是
机构
的
instance
,
然后
那个 施事体
是
那个 施事体
的
executive
分支 的
executive
分支
(=>
(
instance
(
JudiciaryFn
?AGENT)
Organization
)
(
judicialBranch
(
JudiciaryFn
?AGENT) ?AGENT))
Government.kif 2151-2153
如果
地缘政治区域
的
judiciary
是
机构
的
instance
,
然后
那个 地缘政治区域
是
那个 地缘政治区域
的
judiciary
的
judicial
分支
(=>
(
instance
(
LegislatureFn
?AGENT)
Organization
)
(
legislativeBranch
(
LegislatureFn
?AGENT) ?AGENT))
Government.kif 2046-2048
如果
地缘政治区域
的
legislature
是
机构
的
instance
,
然后
那个 地缘政治区域
是
那个 地缘政治区域
的
legislature
的
legislative
分支
(=>
(
instance
?ORG
Organization
)
(
exists
(?PURP)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?ORG)
(
hasPurpose
?MEMBER ?PURP)))))
Merge.kif 16623-16629
如果
群体
是
机构
的
instance
,
然后 有存在
公式
这样 对所有
物理
如果
那个 物理
是
那个 群体
的
member
,
然后
那个 物理
的 目的 是
那个 公式
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