subProcess
(=>
(
and
(
instance
?HR
Reel
)
(
instance
?K
Keeping
)
(
instance
?H
CorpuscularObject
)
(
attribute
?H
LongAndThin
)
(
attribute
?H
Pliable
)
(
instrument
?K ?HR)
(
patient
?K ?H))
(
exists
(?R)
(
and
(
instance
?R
Rotating
)
(
patient
?R ?HR)
(
subProcess
?R ?K))))
Cars.kif 4301-4314
如果
客体
是
卷轴
的
instance
和
过程
是
保存
的
instance
和
另一个 客体
是
躯体性物体
的
instance
和
又长又瘦
是
那个 另外 客体
的
attribute
和
易弯的
是
那个 另外 客体
的
attribute
和
那个 客体
是导致
那个 过程
的
instrument
和
那个 另外 客体
是
那个 过程
的
patient
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
旋转
的
instance
和
那个 客体
是
那个 另外 过程
的
patient
和
那个 另外 过程
%n是
那个 过程
的
subProcess
(=>
(
and
(
instance
?I
Infecting
)
(
experiencer
?I ?H))
(
exists
(?T ?R ?O)
(
and
(
instance
?T
Translocation
)
(
moves
?T ?O)
(
instance
?O
Organism
)
(
instance
?R
Replication
)
(
experiencer
?R ?O)
(
subProcess
?T ?I)
(
subProcess
?R ?I))))
Mid-level-ontology.kif 5847-5859
如果
过程
是
Infecting
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
运动
,
另一个 过程
, and 和
另一个 施事体
这样
那个 运动
是
易位
的
instance
和
移动
那个 运动
and
那个 另外 施事体
和
那个 另外 施事体
是
生物
的
instance
和
那个 另外 过程
是
复制
的
instance
和
那个 另外 施事体
经历了
那个 另外 过程
和
那个 运动
%n是
那个 过程
的
subProcess
和
那个 另外 过程
%n是
那个 过程
的
subProcess
(=>
(
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
?MC
MusicalComposition
)
(
realization
?MC ?MUSIC))
(
not
(
exists
(?LC ?V)
(
and
(
instance
?V
Singing
)
(
patient
?V ?LC)
(
instance
?LC
LyricalContent
)
(
subProcess
?V ?MUSIC)))))
Mid-level-ontology.kif 13752-13762
如果
过程
是
音乐作品
的
instance
和
那个 过程
表示
另一个 过程
的内容,
然后 不存在
实体
和
第三 过程
这样
那个 第三 过程
是
唱歌
的
instance
和
那个 实体
是
那个 第三 过程
的
patient
和
那个 实体
是
LyricalContent
的
instance
和
那个 第三 过程
%n是
那个 另外 过程
的
subProcess
(=>
(
and
(
instance
?MOVEMENT
Translocation
)
(
origin
?MOVEMENT ?PLACE1))
(
exists
(?PLACE2 ?STAGE)
(
and
(
instance
?PLACE2
Region
)
(
not
(
equal
?PLACE1 ?PLACE2))
(
subProcess
?STAGE ?MOVEMENT)
(
located
?STAGE ?PLACE2))))
Merge.kif 11558-11567
如果
过程
是
易位
的
instance
和
客体
是
那个 过程
的源头,
然后 有存在
另一个 客体
和
另一个 过程
这样
那个 另外 客体
是
地区
的
instance
和
那个 客体
不
equal
那个 另外 客体
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 另外 过程
是
located
在
那个 另外 客体
(=>
(
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
?ORD
Ordaining
)
(
patient
?ORD ?X)
(
instance
?X
Human
)
(
member
?X
Christianity
))
(
hasPurpose
?ORD
(
exists
(?CER ?A)
(
and
(
instance
?CER
Ceremony
)
(
instance
?A
Appointing
)
(
subProcess
?A ?CER)
(
patient
?A ?X)
(
appointedPosition
?A ?X
Cleric
)))))
Biography.kif 156-169
如果
过程
是
Ordaining
的
instance
和
物理
是
那个 过程
的
patient
和
那个 物理
是
人类
的
instance
和
那个 物理
是
基督教
的
member
,
然后
那个 过程
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 实体
是
Ceremony
的
instance
和
那个 另外 实体
是
任命
的
instance
和
那个 另外 实体
%n是
那个 实体
的
subProcess
和
那个 物理
是
那个 另外 实体
的
patient
和
appointedPosition
那个 另外 实体
,
那个 物理
and
牧师
(=>
(
and
(
instance
?R
BaseballRun
)
(
agent
?R ?A))
(
exists
(?T ?H)
(
and
(
instance
?T
Touching
)
(
subProcess
?T ?R)
(
agent
?T ?A)
(
patient
?T ?H)
(
instance
?H
HomeBase
))))
Sports.kif 624-634
如果
过程
是
棒球跑
的
instance
和
施事体
是
那个 过程
的
agent
,
然后 有存在
另一个 过程
和
实体
这样
那个 另外 过程
是
接触
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 实体
是
那个 另外 过程
的
patient
和
那个 实体
是
本垒
的
instance
(=>
(
and
(
instance
?R
RecreationOrExercise
)
(
instrument
?R ?RM)
(
instance
?RM
RowingMachine
)
(
experiencer
?R ?H)
(
instance
?ROW
Rowing
)
(
subProcess
?RMOT ?R)
(
subclass
?C
BodyMotion
)
(
instance
?RMOT ?C))
(
exists
(?ROWMOT)
(
and
(
instance
?ROWMOT ?C)
(
subProcess
?ROWMOT ?R)
(
agent
?ROWMOT ?H))))
Mid-level-ontology.kif 8243-8257
如果
过程
是
娱乐或锻炼
的
instance
和
那个 过程
M 是导致
那个 过程
的
instrument
和
那个 过程
M 是
RowingMachine
的
instance
和
施事体
经历了
那个 过程
和
那个 过程
OW 是
划船
的
instance
和
那个 过程
MOT%n是
那个 过程
的
subProcess
和
类
是
身体运动
的
subclass
和
那个 过程
MOT 是
那个 类
的
instance
,
然后 有存在
那个 过程
OWMOT 这样
那个 过程
OWMOT 是
那个 类
的
instance
和
那个 过程
OWMOT%n是
那个 过程
的
subProcess
和
那个 施事体
是
那个 过程
OWMOT 的
agent
(=>
(
and
(
instance
?R
Robbing
)
(
agent
?R ?P)
(
patient
?R ?P2))
(
exists
(?T)
(
and
(
instance
?T
Threatening
)
(
subProcess
?T ?R)
(
patient
?T
(
exists
(?A)
(
and
(
instance
?A
Attack
)
(
agent
?A ?P)
(
patient
?A ?P2)))))))
Mid-level-ontology.kif 18600-18614
如果
过程
是
劫财
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 施事体
2 是
那个 过程
的
patient
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
危险的
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和 有存在
第三 实体
这样
那个 第三 实体
是
攻击
的
instance
和
那个 施事体
是
那个 第三 实体
的
agent
和
那个 施事体
2 是
那个 第三 实体
的
patient
是
那个 另外 过程
的
patient
(=>
(
and
(
instance
?RR
RunningARace
)
(
agent
?RR ?H))
(
exists
(?R)
(
and
(
instance
?R
Running
)
(
agent
?R ?H)
(
subProcess
?R ?RR))))
Sports.kif 265-273
如果
过程
是
RunningARace
的
instance
和
施事体
是
那个 过程
的
agent
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
赛跑
的
instance
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 另外 过程
%n是
那个 过程
的
subProcess
(=>
(
and
(
instance
?RbF
ReconnaissanceByFire
)
(
agent
?RbF ?AGENT))
(
exists
(?ATTACK ?HOSTILE)
(
and
(
patient
?RbF ?HOSTILE)
(
subProcess
?ATTACK ?RbF)
(
instance
?ATTACK
Attack
)
(
agent
?ATTACK ?AGENT)
(
patient
?ATTACK ?HOSTILE))))
MilitaryProcesses.kif 713-723
如果
过程
是
ReconnaissanceByFire
的
instance
和
施事体
是
那个 过程
的
agent
,
然后 有存在
另一个 过程
和
实体
这样
那个 实体
是
那个 过程
的
patient
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 另外 过程
是
攻击
的
instance
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 实体
是
那个 另外 过程
的
patient
(=>
(
and
(
instance
?S
Song
)
(
realization
?S ?MUSIC))
(
exists
(?MM ?MV ?LC ?MC)
(
and
(
instance
?MM
MakingMusic
)
(
instance
?MV
Singing
)
(
instance
?LC
LyricalContent
)
(
instance
?MC
MusicalComposition
)
(
patient
?MM ?MC)
(
patient
?MV ?LC)
(
subProcess
?MM ?MUSIC)
(
subProcess
?MV ?MUSIC))))
Mid-level-ontology.kif 13771-13784
如果
过程
是
歌曲
的
instance
和
那个 过程
表示
另一个 过程
的内容,
然后 有存在
第三 过程
,
第四 过程
,, ,
实体
, and 和
另一个 实体
这样
那个 第三 过程
是
制作音乐
的
instance
和
那个 第四 过程
是
唱歌
的
instance
和
那个 实体
是
LyricalContent
的
instance
和
那个 另外 实体
是
音乐作品
的
instance
和
那个 另外 实体
是
那个 第三 过程
的
patient
和
那个 实体
是
那个 第四 过程
的
patient
和
那个 第三 过程
%n是
那个 另外 过程
的
subProcess
和
那个 第四 过程
%n是
那个 另外 过程
的
subProcess
(=>
(
and
(
instance
?S
Stroke
)
(
instance
?B
Brain
)
(
located
?S ?B))
(
exists
(?N ?D)
(
and
(
instance
?N
NerveCell
)
(
located
?N ?B)
(
instance
?D
Destruction
)
(
subProcess
?D ?S)
(
patient
?D ?N))))
Mid-level-ontology.kif 11934-11945
如果
过程
是
Stroke
的
instance
和
客体
是
脑
的
instance
和
那个 过程
是
located
在
那个 客体
,
然后 有存在
物理
和
另一个 过程
这样
那个 物理
是
神经细胞
的
instance
和
那个 物理
是
located
在
那个 客体
和
那个 另外 过程
是
摧毁
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 物理
是
那个 另外 过程
的
patient
(=>
(
and
(
instance
?SAW
Saw
)
(
instance
?CUT
Cutting
)
(
instrument
?CUT ?SAW)
(
instance
?OBJ
Object
)
(
patient
?CUT ?OBJ))
(
exists
(?MOTION ?DIR1 ?DIR2 ?TIME ?T1 ?T2 ?PART)
(
and
(
instance
?MOTION
Motion
)
(
subProcess
?MOTION ?CUT)
(
instance
?PART
CuttingDevice
)
(
part
?PART ?SAW)
(
meetsSpatially
?PART ?OBJ)
(
patient
?MOTION ?PART)
(
instance
?T2
TimeInterval
)
(
instance
?T2
TimeInterval
)
(
equal
(
WhenFn
?MOTION) ?TIME)
(
temporalPart
?TIME ?T1)
(
temporalPart
?TIME ?T2)
(
instance
?DIR1
DirectionalAttribute
)
(
instance
?DIR2
DirectionalAttribute
)
(=>
(
holdsDuring
?T1
(
direction
?MOTION ?DIR1))
(
holdsDuring
?T2
(
and
(
direction
?MOTION ?DIR2)
(
or
(
equal
?DIR1 ?DIR2)
(
oppositeDirection
?DIR1 ?DIR2))
(
not
(
and
(
equal
?DIR1 ?DIR2)
(
oppositeDirection
?DIR1 ?DIR2)))))))))
Mid-level-ontology.kif 18150-18184
如果
客体
是
锯
的
instance
和
过程
是
切开
的
instance
和
那个 客体
是导致
那个 过程
的
instrument
和
另一个 客体
是
客体
的
instance
和
那个 另外 客体
是
那个 过程
的
patient
,
然后 有存在
另一个 过程
,
实体
,, ,
另一个 实体
,, ,
时距
,, ,
时间位置
,, ,
另一个 时间位置
, and 和
第三 客体
这样
那个 另外 过程
是
运动
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 第三 客体
是
切割装置
的
instance
和
那个 第三 客体
是
那个 客体
的
part
和
那个 第三 客体
接上
那个 另外 客体
和
那个 第三 客体
是
那个 另外 过程
的
patient
和
那个 另外 时间位置
是
时距
的
instance
和
那个 另外 时间位置
是
时距
的
instance
和
那个 另外 过程
出现 的
time
equal
那个 时距
和
那个 时距
时段 是
那个 时间位置
时段 的一
part
和
那个 时距
时段 是
那个 另外 时间位置
时段 的一
part
和
那个 实体
是
方向属性
的
instance
和
那个 另外 实体
是
方向属性
的
instance
和
如果
那个 另外 过程
过程的实体 向
那个 实体
在
那个 时间位置
holdsDuring
,
然后
那个 另外 过程
过程的实体 向
那个 另外 实体
和
那个 实体
equal
那个 另外 实体
或
那个 另外 实体
是
那个 实体
的
opposite
方向 和 ~{
那个 实体
equal
那个 另外 实体
} 或 ~{
那个 另外 实体
是
那个 实体
的
opposite
方向 } 在
那个 另外 时间位置
holdsDuring
(=>
(
and
(
instance
?SHARE
Sharing
)
(
agent
?SHARE ?AGENT1)
(
destination
?SHARE ?AGENT2)
(
patient
?SHARE ?OBJ))
(
exists
(?GIVE ?PART)
(
and
(
instance
?GIVE
Giving
)
(
subProcess
?GIVE ?SHARE)
(
patient
?GIVE ?PART)
(
properPart
?PART ?OBJ)
(
agent
?GIVE ?AGENT1)
(
destination
?GIVE ?AGENT2))))
Mid-level-ontology.kif 18564-18577
如果
过程
是
分享
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 过程
在
实体
结束 和
客体
是
那个 过程
的
patient
,
然后 有存在
另一个 过程
和
另一个 客体
这样
那个 另外 过程
是
给予
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 另外 客体
是
那个 另外 过程
的
patient
和
那个 另外 客体
是
那个 客体
的
properPart
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 另外 过程
在
那个 实体
结束
(=>
(
and
(
instance
?SP
SportsPlay
)
(
realization
?P ?SP))
(
exists
(?S)
(
and
(
instance
?S
TeamSport
)
(
instance
?P
Maneuver
)
(
subProcess
?P ?S))))
Mid-level-ontology.kif 16643-16651
如果
命题
是
体育比赛
的
instance
和
过程
表示
那个 命题
的内容,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
团队运动
的
instance
和
那个 过程
是
竞争招数
的
instance
和
那个 过程
%n是
那个 另外 过程
的
subProcess
(=>
(
and
(
instance
?T
Thoracentesis
)
(
patient
?T ?H))
(
exists
(?I ?O ?IN ?L ?C ?F)
(
and
(
instance
?I
Inserting
)
(
subProcess
?I ?T)
(
objectTransferred
?I ?N)
(
origin
?I ?O)
(
destination
?I ?IN)
(
instance
?N
Needle
)
(
attribute
?F
Fluid
)
(
objectTransferred
?T ?F)
(
destination
?F ?O)
(
instance
?L
Lung
)
(
instance
?C
Chest
)
(
part
?L ?H)
(
part
?C ?H)
(
origin
?T ?IN)
(
destination
?T ?O)
(
between
?L ?IN ?C)
(
orientation
?O ?H
Outside
))))
Medicine.kif 895-917
如果
转移
是
Thoracentesis
的
instance
和
客体
是
那个 转移
的
patient
,
然后 有存在
另一个 转移
,
另一个 客体
,, ,
那个 另外 转移
N,, ,
第四 客体
,, ,
第五 客体
, and 和
第六 客体
这样
那个 另外 转移
是
插入
的
instance
和
那个 另外 转移
%n是
那个 转移
的
subProcess
和
objectTransferred
那个 另外 转移
and
第七 客体
和
那个 另外 客体
是
那个 另外 转移
的源头 和
那个 另外 转移
在
那个 另外 转移
N 结束 和
那个 第七 客体
是
Needle
的
instance
和
流体
是
那个 第六 客体
的
attribute
和
objectTransferred
那个 转移
and
那个 第六 客体
和
那个 第六 客体
在
那个 另外 客体
结束 和
那个 第四 客体
是
肺
的
instance
和
那个 第五 客体
是
Chest
的
instance
和
那个 第四 客体
是
那个 客体
的
part
和
那个 第五 客体
是
那个 客体
的
part
和
那个 另外 转移
N 是
那个 转移
的源头 和
那个 转移
在
那个 另外 客体
结束 和
那个 另外 转移
N 是在
那个 第四 客体
和
那个 第五 客体
between
和
那个 另外 客体
在
那个 客体
的
外
(=>
(
and
(
instance
?T
TwoStrokeTransfer
)
(
instance
?C
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
equal
?C
(
HoleHostFn
?I))
(
eventLocated
?T ?C))
(
exists
(?E ?M)
(
and
(
instance
?M
GasMotion
)
(
instance
?E
Exhaust
)
(
subProcess
?M ?T)
(
origin
?M ?I)
(
patient
?M ?E))))
Cars.kif 523-536
如果
过程
是
TwoStrokeTransfer
的
instance
和
客体
是
EngineCylinder
的
instance
和
洞
是
InternalCombustionChamber
的
instance
和
那个 客体
equal
洞
那个 洞
的主体 和
那个 过程
是
located
在
那个 客体
,
然后 有存在
实体
和
另一个 过程
这样
那个 另外 过程
是
气体运动
的
instance
和
那个 实体
是
Exhaust
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 洞
是
那个 另外 过程
的源头 和
那个 实体
是
那个 另外 过程
的
patient
(=>
(
and
(
instance
?T1
Translocation
)
(
instance
?T2
Translocation
)
(
origin
?T1 ?O1)
(
origin
?T2 ?D1)
(
destination
?T1 ?D1)
(
destination
?T2 ?D2)
(
experiencer
?T1 ?P)
(
experiencer
?T2 ?P))
(
exists
(?T)
(
and
(
instance
?T
Translocation
)
(
origin
?T ?O1)
(
destination
?T ?D2)
(
subProcess
?T1 ?T)
(
subProcess
?T2 ?T)
(
experiencer
?T ?P)
(
starts
(
WhenFn
?T1)
(
WhenFn
?T))
(
finishes
(
WhenFn
?T2)
(
WhenFn
?T)))))
Merge.kif 11305-11328
如果
过程
是
易位
的
instance
和
另一个 过程
是
易位
的
instance
和
客体
是
那个 过程
的源头 和
另一个 客体
是
那个 另外 过程
的源头 和
那个 过程
在
那个 另外 客体
结束 和
那个 另外 过程
在
实体
结束 和
施事体
经历了
那个 过程
和
那个 施事体
经历了
那个 另外 过程
,
然后 有存在
第三 过程
这样
那个 第三 过程
是
易位
的
instance
和
那个 客体
是
那个 第三 过程
的源头 和
那个 第三 过程
在
那个 实体
结束 和
那个 过程
%n是
那个 第三 过程
的
subProcess
和
那个 另外 过程
%n是
那个 第三 过程
的
subProcess
和
那个 施事体
经历了
那个 第三 过程
和
那个 过程
出现 的
time
starts
了才到
那个 第三 过程
出现 的
time
和
那个 另外 过程
出现 的
time
finishes
了才到
那个 第三 过程
出现 的
time
(=>
(
and
(
instance
?TEST
MultivariateTest
)
(
subProcess
?EXPERIMENT1 ?TEST)
(
subProcess
?EXPERIMENT2 ?TEST)
(
instance
?EXPERIMENT1
Experimenting
)
(
instance
?EXPERIMENT2
Experimenting
)
(
instance
?VARIABLE1
Process
)
(
instance
?VARIABLE2
Process
)
(
experimentalVariableProcess
?EXPERIMENT1 ?VARIABLE1)
(
experimentalVariableProcess
?EXPERIMENT2 ?VARIABLE2))
(
exists
(?PROCESS)
(
and
(
instance
?PROCESS
Process
)
(
subProcess
?VARIABLE1 ?PROCESS)
(
subProcess
?VARIABLE2 ?PROCESS)
(
not
(
equal
?VARIABLE1 ?VARIABLE2)))))
UXExperimentalTerms.kif 4501-4518
如果
过程
是
MultivariateTest
的
instance
和
试验
%n是
那个 过程
的
subProcess
和
另一个 试验
%n是
那个 过程
的
subProcess
和
那个 试验
是
试验
的
instance
和
那个 另外 试验
是
试验
的
instance
和
另一个 过程
是
过程
的
instance
和
第三 过程
是
过程
的
instance
和
那个 另外 过程
在
那个 试验
的
process
和
那个 第三 过程
在
那个 另外 试验
的
process
,
然后 有存在
第四 过程
这样
那个 第四 过程
是
过程
的
instance
和
那个 另外 过程
%n是
那个 第四 过程
的
subProcess
和
那个 第三 过程
%n是
那个 第四 过程
的
subProcess
和
那个 另外 过程
不
equal
那个 第三 过程
(=>
(
and
(
instance
?WEAPON
HighPrecisionWeapon
)
(
instrument
?DESTR ?WEAPON)
(
patient
?DESTR ?PATIENT))
(
hasPurpose
?WEAPON
(
not
(
exists
(?DAMAGING ?DAMAGED)
(
and
(
instance
?DAMAGING
Damaging
)
(
subProcess
?DAMAGING ?DESTR)
(
patient
?DAMAGING ?DAMAGED)
(
not
(
equal
?PATIENT ?DAMAGED)))))))
MilitaryProcesses.kif 641-654
如果
客体
是
高精度武器
的
instance
和
那个 客体
是导致
过程
的
instrument
和
实体
是
那个 过程
的
patient
,
然后
那个 客体
的 目的 是 不存在
另一个 实体
和
第三 实体
这样
那个 另外 实体
是
损坏
的
instance
和
那个 另外 实体
%n是
那个 过程
的
subProcess
和
那个 第三 实体
是
那个 另外 实体
的
patient
和
那个 实体
不
equal
那个 第三 实体
(=>
(
and
(
instance
?WI
WindInstrument
)
(
instance
?M
MakingInstrumentalMusic
)
(
agent
?M ?A)
(
instrument
?M ?WI))
(
exists
(?B)
(
and
(
instance
?B
Exhaling
)
(
agent
?B ?A)
(
subProcess
?B ?M))))
Music.kif 1203-1213
如果
客体
是
管乐器
的
instance
和
过程
是
器乐
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 客体
是导致
那个 过程
的
instrument
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
呼气
的
instance
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 另外 过程
%n是
那个 过程
的
subProcess
(=>
(
and
(
instance
?X
DryRoasting
)
(
instance
?F
Food
)
(
patient
?X ?F))
(
holdsDuring
?X
(
exists
(?H ?S)
(
and
(
instance
?H
Heating
)
(
instance
?S
Stirring
)
(
subProcess
?H ?X)
(
subProcess
?S ?X)
(
during
(
WhenFn
?S)
(
WhenFn
?H))
(
patient
?H ?F)
(
patient
?S ?F)
(
not
(
exists
(?O ?W)
(
and
(
instance
?O
Oil
)
(
instance
?W
DrinkingWater
)
(
patient
?X ?O)
(
patient
?X ?W))))))))
Food.kif 128-151
如果
过程
是
DryRoasting
的
instance
和
实体
是
Food
的
instance
和
那个 实体
是
那个 过程
的
patient
,
然后 有存在
另一个 实体
和
第三 实体
这样
那个 另外 实体
是
加热
的
instance
和
那个 第三 实体
是
搅拌
的
instance
和
那个 另外 实体
%n是
那个 过程
的
subProcess
和
那个 第三 实体
%n是
那个 过程
的
subProcess
和
那个 第三 实体
出现 的
time
在
那个 另外 实体
出现 的
time
时段内发生 和
那个 实体
是
那个 另外 实体
的
patient
和
那个 实体
是
那个 第三 实体
的
patient
和 不存在
第五 实体
和
第六 实体
这样
那个 第五 实体
是
油
的
instance
和
那个 第六 实体
是
饮用水
的
instance
和
那个 第五 实体
是
那个 过程
的
patient
和
那个 第六 实体
是
那个 过程
的
patient
在
那个 过程
holdsDuring
(=>
(
and
(
instance
?X
WaterTransportationService
)
(
serviceProvider
?X ?Y)
(
attribute
?Y
CoastalAndGreatLakesFreightTransportation
))
(
exists
(?FREIGHT ?SHIP ?WATER)
(
and
(
subProcess
?FREIGHT ?X)
(
instance
?FREIGHT
WaterTransportation
)
(
instrument
?FREIGHT ?SHIP)
(
instance
?SHIP
CargoShip
)
(
eventLocated
?FREIGHT ?WATER)
(
instance
?WATER
WaterArea
)
(
geographicSubregion
?WATER
UnitedStates
))))
naics.kif 8184-8197
如果
服务
是
WaterTransportationService
的
instance
和
有认知的主事
在
那个 服务
中提供服务 和
沿海和大湖泊货运
是
那个 有认知的主事
的
attribute
,
然后 有存在
过程
,
客体
, and 和
地理区域
这样
那个 过程
%n是
那个 服务
的
subProcess
和
那个 过程
是
水运
的
instance
和
那个 客体
是导致
那个 过程
的
instrument
和
那个 客体
是
货船
的
instance
和
那个 过程
是
located
在
那个 地理区域
和
那个 地理区域
是
水域
的
instance
和
那个 地理区域
是
美国
的
geographic
次要地区
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