agent
(=>
(
and
(
instance
?JOIN
Hiring
)
(
instance
?ORG
Organization
)
(
agent
?JOIN ?ORG)
(
patient
?JOIN ?PERSON))
(
expects
?ORG
(
exists
(?FT)
(
and
(
instance
?FT
FinancialTransaction
)
(
agent
?FT ?ORG)
(
destination
?FT ?PERSON)
(
earlier
(
WhenFn
?JOIN)
(
WhenFn
?FT))))))
Merge.kif 10653-10665
如果
过程
是
雇佣
的
instance
和
有认知的主事
是
机构
的
instance
和
那个 有认知的主事
是
那个 过程
的
agent
和
实体
是
那个 过程
的
patient
,
然后
那个 有认知的主事
expects
有存在
另一个 实体
这样
那个 另外 实体
是
金融交易
的
instance
和
那个 有认知的主事
是
那个 另外 实体
的
agent
和
那个 另外 实体
在
那个 实体
结束 和
那个 过程
出现 的
time
比
那个 另外 实体
出现 的
time
发生的
earlier
会是事实
(=>
(
and
(
instance
?KEEP
Keeping
)
(
agent
?KEEP ?AGENT)
(
patient
?KEEP ?OBJ))
(
exists
(?PUT)
(
and
(
instance
?PUT
Putting
)
(
agent
?PUT ?AGENT)
(
patient
?PUT ?OBJ)
(
earlier
(
WhenFn
?PUT)
(
WhenFn
?KEEP)))))
Merge.kif 12200-12210
如果
过程
是
保存
的
instance
和
施事体
是
那个 过程
的
agent
和
实体
是
那个 过程
的
patient
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
放
的
instance
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 实体
是
那个 另外 过程
的
patient
和
那个 另外 过程
出现 的
time
比
那个 过程
出现 的
time
发生的
earlier
(=>
(
and
(
instance
?KL
KnockLight
)
(
located
?KL ?ROOM)
(
instance
?ROOM
Room
)
(
instance
?DOOR
Door
)
(
part
?DOOR ?ROOM))
(
hasPurpose
?KL
(
exists
(?KNOCK ?SOUND ?LIGHT)
(
and
(
instance
?KNOCK
Impacting
)
(
patient
?KNOCK ?DOOR)
(
causes
?KNOCK ?SOUND)
(
instance
?SOUND
RadiatingSound
)
(
agent
?SOUND ?DOOR)
(
causes
?SOUND ?LIGHT)
(
instance
?LIGHT
RadiatingVisibleLight
)
(
instrument
?LIGHT ?KL)))))
Mid-level-ontology.kif 25809-25826
如果
物理
是
KnockLight
的
instance
和
那个 物理
是
located
在
客体
和
那个 客体
是
房间
的
instance
和
另一个 客体
是
门
的
instance
和
那个 另外 客体
是
那个 客体
的
part
,
然后
那个 物理
的 目的 是 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
是
碰撞
的
instance
和
那个 另外 客体
是
那个 实体
的
patient
和
那个 实体
causes
那个 另外 实体
和
那个 另外 实体
是
放射声音
的
instance
和
那个 另外 客体
是
那个 另外 实体
的
agent
和
那个 另外 实体
causes
那个 第三 实体
和
那个 第三 实体
是
辐射可见光
的
instance
和
那个 物理
是导致
那个 第三 实体
的
instrument
(=>
(
and
(
instance
?L
DriversLicense
)
(
possesses
?A ?L))
(
confersNorm
?L
(
exists
(?D ?V)
(
and
(
instance
?D
Driving
)
(
agent
?D ?A)
(
patient
?D ?V)
(
instance
?V
RoadVehicle
)))
Permission
))
Mid-level-ontology.kif 16881-16892
如果
客体
是
驾照
的
instance
和
施事体
possesses
那个 客体
,
然后
那个 客体
confers
规范 有存在
实体
和
另一个 实体
这样
那个 实体
是
驾驶
的
instance
和
那个 施事体
是
那个 实体
的
agent
和
那个 另外 实体
是
那个 实体
的
patient
和
那个 另外 实体
是
公路车辆
的
instance
对于
允许
(=>
(
and
(
instance
?L
Lathe
)
(
instance
?OBJ
Object
)
(
instrument
?PROC ?L)
(
patient
?PROC ?OBJ))
(
exists
(?R)
(
and
(
instance
?R
Rotating
)
(
subProcess
?PROC ?R)
(
patient
?R ?OBJ)
(
agent
?R ?L))))
Economy.kif 6000-6011
如果
施事体
是
车床
的
instance
和
实体
是
客体
的
instance
和
那个 施事体
是导致
过程
的
instrument
和
那个 实体
是
那个 过程
的
patient
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
旋转
的
instance
和
那个 过程
%n是
那个 另外 过程
的
subProcess
和
那个 实体
是
那个 另外 过程
的
patient
和
那个 施事体
是
那个 另外 过程
的
agent
(=>
(
and
(
instance
?LEND
Lending
)
(
agent
?LEND ?AGENT2)
(
destination
?LEND ?AGENT1)
(
patient
?LEND ?OBJECT))
(
exists
(?BORROW)
(
and
(
instance
?BORROW
Borrowing
)
(
agent
?BORROW ?AGENT1)
(
origin
?BORROW ?AGENT2)
(
patient
?BORROW ?OBJECT))))
Merge.kif 11766-11777
如果
过程
是
借出
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 过程
在
另一个 施事体
结束 和
实体
是
那个 过程
的
patient
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
借入
的
instance
和
那个 另外 施事体
是
那个 另外 过程
的
agent
和
那个 施事体
是
那个 另外 过程
的源头 和
那个 实体
是
那个 另外 过程
的
patient
(=>
(
and
(
instance
?LF
LoginFailure
)
(
agent
?LF ?A)
(
hasAccount
?A ?AC))
(
holdsDuring
(
WhenFn
?LF)
(
not
(
exists
(?L)
(
and
(
agent
?L ?A)
(
instance
?L
LoggingIn
)
(
patient
?L ?AC))))))
ComputingBrands.kif 4009-4020
如果
过程
是
LoginFailure
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 施事体
有
account
那个 施事体
C ,
然后 不存在
实体
这样
那个 施事体
是
那个 实体
的
agent
和
那个 实体
是
LoggingIn
的
instance
和
那个 施事体
C 是
那个 实体
的
patient
在
那个 过程
出现 的
time
holdsDuring
(=>
(
and
(
instance
?LI
LoggingIn
)
(
hasAccount
?U ?A)
(
accountAtSite
?A ?S)
(
equal
?T
(
ImmediateFutureFn
(
WhenFn
?LI)))
(
agent
?LI ?U))
(
modalAttribute
(
holdsDuring
?T
(
exists
(?P)
(
and
(
instance
?P
ComputerProcess
)
(
agent
?P ?U)
(
patient
?P ?S))))
Possibility
))
ComputingBrands.kif 3972-3986
如果
过程
是
LoggingIn
的
instance
和
施事体
有
account
用户帐号
和
那个 用户帐号
是在
WebSite
的
account
和
时距
equal
紧接
那个 过程
出现 的
time
after
和
那个 施事体
是
那个 过程
的
agent
,
然后 有存在
实体
这样
那个 实体
是
电脑程序
的
instance
和
那个 施事体
是
那个 实体
的
agent
和
那个 WebSite
是
那个 实体
的
patient
在
那个 时距
holdsDuring
的声明 has
可能性
的语气
(=>
(
and
(
instance
?LI
LoggingIn
)
(
hasAccount
?U ?A)
(
deviceAccount
?A ?C)
(
equal
?T
(
ImmediateFutureFn
(
WhenFn
?LI)))
(
agent
?LI ?U))
(
modalAttribute
(
holdsDuring
?T
(
exists
(?P)
(
and
(
instance
?P
ComputerProcess
)
(
agent
?P ?U)
(
instrument
?P ?C))))
Possibility
))
ComputingBrands.kif 3988-4002
如果
过程
是
LoggingIn
的
instance
和
施事体
有
account
用户帐号
和
deviceAccount
那个 用户帐号
and
电脑
和
时距
equal
紧接
那个 过程
出现 的
time
after
和
那个 施事体
是
那个 过程
的
agent
,
然后 有存在
实体
这样
那个 实体
是
电脑程序
的
instance
和
那个 施事体
是
那个 实体
的
agent
和
那个 电脑
是导致
那个 实体
的
instrument
在
那个 时距
holdsDuring
的声明 has
可能性
的语气
(=>
(
and
(
instance
?M
GuidedMissile
)
(
instance
?FLYING
Flying
)
(
patient
?FLYING ?M))
(
exists
(?GUIDING)
(
and
(
instance
?GUIDING
Guiding
)
(
patient
?GUIDING ?FLYING)
(
agent
?GUIDING ?M)
(
during
(
WhenFn
?GUIDING)
(
WhenFn
?FLYING)))))
MilitaryDevices.kif 1051-1063
如果
施事体
是
导弹
的
instance
和
过程
是
飞行
的
instance
和
那个 施事体
是
那个 过程
的
patient
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
引导
的
instance
和
那个 过程
是
那个 另外 过程
的
patient
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 另外 过程
出现 的
time
在
那个 过程
出现 的
time
时段内发生
(=>
(
and
(
instance
?MUSIC
MakingVocalMusic
)
(
agent
?MUSIC ?GROUP)
(
instance
?GROUP
Choir
)
(
holdsDuring
?MUSIC
(
member
?MEM ?GROUP)))
(
exists
(?SING)
(
and
(
instance
?SING
Singing
)
(
subProcess
?SING ?MUSIC)
(
agent
?SING ?MEM))))
Media.kif 1807-1817
如果
过程
是
唱歌
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 施事体
是
Choir
的
instance
和
另一个 施事体
是
那个 施事体
的
member
在
那个 过程
holdsDuring
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
唱歌
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 另外 施事体
是
那个 另外 过程
的
agent
(=>
(
and
(
instance
?O
OccupationalRole
)
(
typicalAction
?PCLASS
(
AttrFn
CognitiveAgent
?O)))
(
exists
(?X ?T ?P ?PT)
(
and
(
instance
?X
CognitiveAgent
)
(
holdsDuring
?T
(
attribute
?X ?O))
(
instance
?P ?PCLASS)
(
agent
?X ?P)
(
time
?P ?PT)
(
temporalPart
?PT ?T))))
Mid-level-ontology.kif 22259-22272
如果
属性
是
职业角色
的
instance
和
有点 过程
是
有认知的主事
跟
那个 属性
的
attr
的
typical
action
,
然后 有存在
另一个 过程
,
时间位置
,, ,
施事体
, and 和
那个 施事体
T 这样
那个 另外 过程
是
有认知的主事
的
instance
和
那个 属性
是
那个 另外 过程
的
attribute
在
那个 时间位置
holdsDuring
和
那个 施事体
是
有点 过程
的
instance
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 施事体
在
那个 施事体
T 是 存在 和
那个 施事体
T 时段 是
那个 时间位置
时段 的一
part
(=>
(
and
(
instance
?O
Organism
)
(
instance
?E
Egg
)
(
attribute
?O
Embryonic
)
(
part
?O ?E))
(
exists
(?Y)
(
and
(
instance
?Y
EggYolk
)
(
hasPurpose
?Y
(
exists
(?I)
(
and
(
instance
?I
Ingesting
)
(
agent
?I ?O)
(
resource
?I ?Y)))))))
Food.kif 2548-2562
如果
客体
是
生物
的
instance
和
另一个 客体
是
蛋
的
instance
和
胚胎
是
那个 客体
的
attribute
和
那个 客体
是
那个 另外 客体
的
part
,
然后 有存在
物理
这样
那个 物理
是
EggYolk
的
instance
和
那个 物理
的 目的 是 有存在
实体
这样
那个 实体
是
消化
的
instance
和
那个 客体
是
那个 实体
的
agent
和
那个 物理
是
那个 实体
的
resource
(=>
(
and
(
instance
?OCCD
OccupationalDomain
)
(
instance
?X
(
AttrFn
CognitiveAgent
?OCCD)))
(
exists
(?PCLASS)
(
and
(
typicalAction
?PCLASS
(
AttrFn
CognitiveAgent
?OCCD))
(
hasPurpose
?X
(
exists
(?P)
(
and
(
instance
?P ?PCLASS)
(
agent
?X ?P)))))))
Mid-level-ontology.kif 22279-22292
如果
属性
是
OccupationalDomain
的
instance
和
物理
是
有认知的主事
跟
那个 属性
的
attr
的
instance
,
然后 有存在
有点 过程
这样
有点 过程
是
有认知的主事
跟
那个 属性
的
attr
的
typical
action
和
那个 物理
的 目的 是 有存在
实体
这样
那个 实体
是
那个 有点 过程
的
instance
和
那个 实体
是
那个 物理
的
agent
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG ?INDUSTRY)
(
industryProductType
?INDUSTRY ?TYPE))
(
exists
(?EVENT ?ITEM)
(
and
(
instance
?EVENT
Making
)
(
instance
?ITEM ?TYPE)
(
agent
?EVENT ?ORG)
(
result
?EVENT ?ITEM))))
Economy.kif 1607-1617
如果
施事体
是
机构
的
instance
和
行业属性
是
那个 施事体
的
attribute
和
有点 客体
是
那个 行业属性
的
industry
产品类别,
然后 有存在
过程
和
实体
这样
那个 过程
是
制作
的
instance
和
那个 实体
是
有点 客体
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
那个 实体
是
那个 过程
的
result
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG ?INDUSTRY)
(
industryServiceType
?INDUSTRY ?TYPE))
(
exists
(?EVENT)
(
and
(
instance
?EVENT ?TYPE)
(
agent
?EVENT ?ORG))))
Economy.kif 1649-1657
如果
施事体
是
机构
的
instance
和
行业属性
是
那个 施事体
的
attribute
和
有点 有意图过程
是
那个 行业属性
的
industry
服务类别,
然后 有存在
过程
这样
那个 过程
是
有点 有意图过程
的
instance
和
那个 施事体
是
那个 过程
的
agent
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
AgricultureForestryFishingAndHunting
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?EV ?MEM)
(
exists
(?THING ?EV2 ?MEM2)
(
and
(
or
(
instance
?EV
Killing
)
(
instance
?EV
Maintaining
))
(
patient
?EV ?THING)
(
or
(
instance
?THING
Animal
)
(
instance
?THING
Plant
))
(
not
(
instance
?THING
Human
))
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 50-72
如果
群体
是
机构
的
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
AirTransportationIndustry
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?FLY ?PLANE ?OBJ)
(
and
(
instance
?FLY
Transportation
)
(
or
(
patient
?FLY ?P)
(
and
(
possesses
?P ?OBJ)
(
patient
?FLY ?OBJ)
(
instance
?OBJ
Object
)))
(
possesses
?ORG ?PLANE)
(
instance
?PLANE
Aircraft
))) ?MEM ?P))))))
naics.kif 7953-7978
如果
群体
是
机构
的
instance
和
航空运输业
是
那个 群体
的
attribute
,
然后 有存在
施事体
和
过程
这样
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和 有存在
有认知的主事
这样
那个 施事体
是
出售
的
instance
和
那个 有认知的主事
是
人类
的
instance
和
那个 有认知的主事
是
那个 施事体
的
patient
和
那个 过程
允许
那个 有认知的主事
执行 有存在
实体
,
那个 有认知的主事
LANE, and 和
第三 实体
这样
那个 实体
是
运输
的
instance
和
那个 有认知的主事
是
那个 实体
的
patient
或
那个 有认知的主事
possesses
那个 第三 实体
和
那个 第三 实体
是
那个 实体
的
patient
和
那个 第三 实体
是
客体
的
instance
和
那个 群体
possesses
那个 有认知的主事
LANE 和
那个 有认知的主事
LANE 是
飞机
的
instance
的任务
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
ApparelManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
instance
?THING
Clothing
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 2194-2210
如果
群体
是
机构
的
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
BeverageAndTobaccoProductManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
or
(
instance
?THING
Beverage
)
(
instance
?THING
TobaccoProduct
))
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 1837-1855
如果
群体
是
机构
的
instance
和
饮料和烟草制品制造业
是
那个 群体
的
attribute
,
然后 有存在
施事体
和
过程
这样
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和 有存在
实体
,
那个 过程
2, and 和
那个 施事体
2 这样
那个 施事体
是
制造
的
instance
和
那个 实体
是
饮料
的
instance
或
那个 实体
是
烟草制品
的
instance
和
那个 实体
是
那个 施事体
的
patient
和
那个 过程
2 是
那个 群体
的
member
和
那个 施事体
2 是
出售
的
instance
和
那个 过程
2 是
那个 施事体
2 的
agent
和
那个 实体
是
那个 施事体
2 的
patient
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
BuildingMaterialAndGardenEquipmentAndSuppliesDealers
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING)
(
and
(
instance
?EV
Selling
)
(
instance
?THING
Object
)
(
or
(
capability
Constructing
resource
?THING)
(
capability
Agriculture
resource
?THING))
(
patient
?EV ?THING))))))
naics.kif 7242-7257
如果
群体
是
机构
的
instance
和
建筑材料和园艺设备及用品经销商
是
那个 群体
的
attribute
,
然后 有存在
施事体
和
过程
这样
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和 有存在
客体
这样
那个 施事体
是
出售
的
instance
和
那个 客体
是
客体
的
instance
和
那个 客体
能够担当
资源
的角色做
建筑
或
那个 客体
能够担当
资源
的角色做
农业
和
那个 客体
是
那个 施事体
的
patient
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
ChemicalManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
instance
?THING
PureSubstance
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 3125-3141
如果
群体
是
机构
的
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
ClothingAndClothingAccessoriesStores
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING)
(
and
(
instance
?EV
Selling
)
(
instance
?THING
Clothing
)
(
patient
?EV ?THING))))))
naics.kif 7509-7521
如果
群体
是
机构
的
instance
和
服装和服饰配件商店
是
那个 群体
的
attribute
,
然后 有存在
施事体
和
过程
这样
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和 有存在
实体
这样
那个 施事体
是
出售
的
instance
和
那个 实体
是
服装
的
instance
和
那个 实体
是
那个 施事体
的
patient
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
ComputerAndElectronicProductManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
or
(
instance
?THING
Computer
)
(
and
(
instance
?THING
Machine
)
(
exists
(?EV3 ?ELEC)
(
and
(
patient
?EV3 ?THING)
(
resource
?EV3 ?ELEC)
(
instance
?ELEC
Electricity
)))))
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 5126-5150
如果
群体
是
机构
的
instance
和
计算机和电子产品制造业
是
那个 群体
的
attribute
,
然后 有存在
施事体
和
过程
这样
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和 有存在
实体
,
那个 过程
2, and 和
那个 施事体
2 这样
那个 施事体
是
制造
的
instance
和
那个 实体
是
电脑
的
instance
或
那个 实体
是
机器
的
instance
和 有存在
那个 施事体
3 和
客体
这样
那个 实体
是
那个 施事体
3 的
patient
和
那个 客体
是
那个 施事体
3 的
resource
和
那个 客体
是
电力
的
instance
和
那个 实体
是
那个 施事体
的
patient
和
那个 过程
2 是
那个 群体
的
member
和
那个 施事体
2 是
出售
的
instance
和
那个 过程
2 是
那个 施事体
2 的
agent
和
那个 实体
是
那个 施事体
2 的
patient
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
Construction
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Constructing
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 1080-1095
如果
群体
是
机构
的
instance
和
施工
是
那个 群体
的
attribute
,
然后 有存在
施事体
和
过程
这样
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和 有存在
实体
,
那个 过程
2, and 和
那个 施事体
2 这样
那个 施事体
是
建筑
的
instance
和
那个 实体
是
那个 施事体
的
patient
和
那个 过程
2 是
那个 群体
的
member
和
那个 施事体
2 是
出售
的
instance
和
那个 过程
2 是
那个 施事体
2 的
agent
和
那个 实体
是
那个 施事体
2 的
patient
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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