instrument
(=>
(
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
?S
Sweeping
)
(
instrument
?S ?B))
(
instance
?B
Broom
))
Mid-level-ontology.kif 5568-5572
如果
过程
是
扫
的
instance
和
客体
是导致
那个 过程
的
instrument
,
然后
那个 客体
是
扫帚
的
instance
(=>
(
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
?SHOOTING
Shooting
)
(
instrument
?SHOOTING ?AC)
(
instance
?AC
ArtilleryCannon
))
(
exists
(?PROJ)
(
and
(
instrument
?SHOOTING ?PROJ)
(
instance
?PROJ
(
UnionFn
Missile
Grenade
)))))
MilitaryDevices.kif 179-188
如果
过程
是
射击
的
instance
和
客体
是导致
那个 过程
的
instrument
和
那个 客体
是
火炮
的
instance
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是导致
那个 过程
的
instrument
和
那个 另外 客体
是 结合
导弹
和
手榴弹
的
instance
(=>
(
and
(
instance
?SHOOTING
Shooting
)
(
instrument
?SHOOTING ?AC)
(
instance
?AC
GrenadeLauncher
))
(
exists
(?PROJ)
(
and
(
instrument
?SHOOTING ?PROJ)
(
instance
?PROJ
Grenade
))))
MilitaryDevices.kif 597-605
如果
过程
是
射击
的
instance
和
客体
是导致
那个 过程
的
instrument
和
那个 客体
是
榴弹发射器
的
instance
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是导致
那个 过程
的
instrument
和
那个 另外 客体
是
手榴弹
的
instance
(=>
(
and
(
instance
?SHOOTING
Shooting
)
(
instrument
?SHOOTING ?MG)
(
instance
?MG
MortarGun
))
(
exists
(?PROJ)
(
and
(
instrument
?SHOOTING ?PROJ)
(
instance
?PROJ
Grenade
))))
MilitaryDevices.kif 198-206
如果
过程
是
射击
的
instance
和
客体
是导致
那个 过程
的
instrument
和
那个 客体
是
迫击炮
的
instance
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是导致
那个 过程
的
instrument
和
那个 另外 客体
是
手榴弹
的
instance
(=>
(
and
(
instance
?SHOT
Shooting
)
(
instrument
?SHOT ?GUN)
(
patient
?SHOT ?PROJ)
(
width
?PROJ ?LM1)
(
instance
?GUN ?GUNCLASS)
(
instance
?PROJ
Projectile
)
(
caliber
?GUNCLASS ?LM))
(
equal
?LM ?LM1))
MilitaryDevices.kif 219-228
如果
过程
是
射击
的
instance
和
客体
是导致
那个 过程
的
instrument
和
物理
是
那个 过程
的
patient
和
那个 物理
的
width
是
长度测量
和
那个 客体
是
那个 客体
CLASS 的
instance
和
那个 物理
是
抛射物
的
instance
和
另一个 长度测量
是
那个 客体
CLASS 的
caliber
,
然后
那个 另外 长度测量
equal
那个 长度测量
(=>
(
and
(
instance
?SI
(
ImpairmentFn
?S))
(
instrument
?SI ?A))
(
exists
(?A2)
(
and
(
not
(
equal
?A2 ?A))
(
capability
?S
instrument
?A2)
(
not
(
capability
?S
instrument
?A)))))
Merge.kif 13474-13484
如果
过程
是
ImpairmentFn
另一个 有点 过程
的
instance
和
客体
是导致
那个 过程
的
instrument
,
然后 有存在
那个 客体
2 这样
那个 客体
2 不
equal
那个 客体
和
那个 客体
2 能够担当
工具
的角色做
另一个 有点 过程
和
那个 客体
不 能够担当
工具
的角色做
那个 另外 有点 过程
(=>
(
and
(
instance
?T
Transportation
)
(
instance
?W
Wheel
)
(
instance
?A
Automobile
)
(
part
?W ?A)
(
instrument
?T ?A)
(
instance
?AB
AntilockBrake
)
(
instance
?D
Decelerating
)
(
instrument
?D ?AB)
(
part
?AB ?W))
(
hasPurpose
?AB
(
exists
(?R)
(
and
(
instance
?R
Rotating
)
(
during
?R ?D)))))
Cars.kif 1292-1307
如果
过程
是
运输
的
instance
和
客体
是
轮
的
instance
和
另一个 客体
是
汽车
的
instance
和
那个 客体
是
那个 另外 客体
的
part
和
那个 另外 客体
是导致
那个 过程
的
instrument
和
那个 另外 客体
B 是
AntilockBrake
的
instance
和
另一个 过程
是
减速
的
instance
和
那个 另外 客体
B 是导致
那个 另外 过程
的
instrument
和
那个 另外 客体
B 是
那个 客体
的
part
,
然后
那个 另外 客体
B 的 目的 是 有存在
实体
这样
那个 实体
是
旋转
的
instance
和
那个 实体
在
那个 另外 过程
时段内发生
(=>
(
and
(
instance
?T
Transportation
)
(
instrument
?T ?D)
(
instance
?D
Pump
))
(
exists
(?F)
(
and
(
instrument
?T ?F)
(
attribute
?F
Fluid
))))
Mid-level-ontology.kif 15451-15459
如果
过程
是
运输
的
instance
和
客体
是导致
那个 过程
的
instrument
和
那个 客体
是
泵
的
instance
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是导致
那个 过程
的
instrument
和
流体
是
那个 另外 客体
的
attribute
(=>
(
and
(
instance
?T
Transportation
)
(
patient
?T ?S)
(
instrument
?T ?SS)
(
instance
?SS
SewageSystem
))
(
instance
?S
Sewage
))
Transportation.kif 789-795
如果
过程
是
运输
的
instance
和
实体
是
那个 过程
的
patient
和
那个 实体
S 是导致
那个 过程
的
instrument
和
那个 实体
S 是
排污系统
的
instance
,
然后
那个 实体
是
污水
的
instance
(=>
(
and
(
instance
?TRANSPORT
Transportation
)
(
instrument
?TRANSPORT ?VEHICLE)
(
instance
?VEHICLE
RoadVehicle
))
(
instance
?TRANSPORT
TransportViaRoadVehicle
))
Mid-level-ontology.kif 23536-23541
如果
过程
是
运输
的
instance
和
客体
是导致
那个 过程
的
instrument
和
那个 客体
是
公路车辆
的
instance
,
然后
那个 过程
是
通过公路车辆运输
的
instance
(=>
(
and
(
instance
?TRANSPORT
Transportation
)
(
subProcess
?TRANSPORT ?DRIVE)
(
instance
?DRIVE
Driving
)
(
instrument
?TRANSPORT ?VEHICLE)
(
instance
?VEHICLE
TransportationDevice
))
(
patient
?DRIVE ?VEHICLE))
Mid-level-ontology.kif 23556-23563
如果
过程
是
运输
的
instance
和
那个 过程
%n是
实体
subProcess
和
另一个 过程
是
驾驶
的
instance
和
客体
是导致
那个 过程
的
instrument
和
那个 客体
是
运输设备
的
instance
,
然后
那个 客体
是
那个 另外 过程
的
patient
(=>
(
and
(
instance
?TRANSPORT
Vehicle
)
(
instance
?MOVE
Translocation
)
(
instrument
?MOVE ?TRANSPORT)
(
destination
?MOVE ?TO))
(
holdsDuring
(
BeginFn
(
WhenFn
?MOVE))
(
located
?TRANSPORT ?TO)))
Merge.kif 15992-15998
如果
客体
是
车辆
的
instance
和
过程
是
易位
的
instance
和
那个 客体
是导致
那个 过程
的
instrument
和
那个 过程
在
实体
结束,
然后
那个 客体
是
located
在
那个 实体
在
那个 过程
出现 的
time
的开始
holdsDuring
(=>
(
and
(
instance
?TRANSPORT
Vehicle
)
(
instance
?MOVE
Translocation
)
(
instrument
?MOVE ?TRANSPORT)
(
origin
?MOVE ?FROM))
(
holdsDuring
(
BeginFn
(
WhenFn
?MOVE))
(
located
?TRANSPORT ?FROM)))
Merge.kif 15984-15990
如果
客体
是
车辆
的
instance
和
过程
是
易位
的
instance
和
那个 客体
是导致
那个 过程
的
instrument
和
另一个 客体
是
那个 过程
的源头,
然后
那个 客体
是
located
在
那个 另外 客体
在
那个 过程
出现 的
time
的开始
holdsDuring
(=>
(
and
(
instance
?V
PulmonaryVein
)
(
instance
?T
Transfer
)
(
patient
?T ?B)
(
instrument
?T ?V)
(
instance
?B
Blood
))
(
exists
(?L ?H ?P)
(
and
(
instance
?L
Lung
)
(
origin
?T ?L)
(
part
?V ?P)
(
part
?L ?P)
(
part
?H ?P)
(
instance
?H
Heart
)
(
destination
?T ?H))))
Mid-level-ontology.kif 11157-11172
如果
客体
是
肺静脉
的
instance
和
过程
是
转移
的
instance
和
实体
是
那个 过程
的
patient
和
那个 客体
是导致
那个 过程
的
instrument
和
那个 实体
是
血液
的
instance
,
然后 有存在
另一个 客体
,
第三 客体
, and 和
第四 客体
这样
那个 另外 客体
是
肺
的
instance
和
那个 另外 客体
是
那个 过程
的源头 和
那个 客体
是
那个 第四 客体
的
part
和
那个 另外 客体
是
那个 第四 客体
的
part
和
那个 第三 客体
是
那个 第四 客体
的
part
和
那个 第三 客体
是
心
的
instance
和
那个 过程
在
那个 第三 客体
结束
(=>
(
and
(
instance
?V
Vein
)
(
instance
?T
Transfer
)
(
patient
?T ?B)
(
instrument
?T ?V)
(
instance
?B
Blood
))
(
exists
(?H)
(
and
(
instance
?H
Heart
)
(
destination
?T ?H))))
Mid-level-ontology.kif 11125-11135
如果
客体
是
静脉
的
instance
和
过程
是
转移
的
instance
和
实体
是
那个 过程
的
patient
和
那个 客体
是导致
那个 过程
的
instrument
和
那个 实体
是
血液
的
instance
,
然后 有存在
另一个 实体
这样
那个 另外 实体
是
心
的
instance
和
那个 过程
在
那个 另外 实体
结束
(=>
(
and
(
instance
?VISITS
Collection
)
(
instance
?PURCHASES
Collection
)
(
subCollection
?PURCHASES ?VISITS)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?VISITS)
(
instance
?MEMBER
AccessingWebPage
)))
(
forall
(?BUYING ?VISITOR ?ACCESSING ?BUYING ?PAGE)
(=>
(
and
(
instance
?VISITOR
Human
)
(
instance
?BUYING
Buying
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
member
?ACCESSING ?VISITS)
(
destination
?ACCESSING ?PAGE)
(
agent
?BUYING ?VISITOR)
(
agent
?ACCESSING ?VISITOR)
(
during
(
WhenFn
?BUYING)
(
WhenFn
?ACCESSING))
(
instrument
?BUYING ?PAGE))
(
member
?BUYING ?PURCHASES))))
(
exists
(?INTERVAL ?PURCHASE_IN_INTERVAL ?VISIT_IN_INTERVAL)
(
equal
(
SCRFn
?VISITS ?INTERVAL)
(
DivisionFn
(
CardinalityFn
(
KappaFn
?PURCHASE_IN_INTERVAL
(
and
(
member
?PURCHASE_IN_INTERVAL ?PURCHASES)
(
during
(
WhenFn
?PURCHASE_IN_INTERVAL) ?INTERVAL))))
(
CardinalityFn
(
KappaFn
?VISIT_IN_INTERVAL
(
and
(
member
?VISIT_IN_INTERVAL ?VISITS)
(
during
(
WhenFn
?PURCHASE_IN_INTERVAL) ?INTERVAL))))))))
UXExperimentalTerms.kif 3668-3704
如果
群体
是
群体
的
instance
和
另一个 群体
是
群体
的
instance
和
那个 另外 群体
是
那个 群体
的 真正的子集 和 对所有
物理
如果
那个 物理
是
那个 群体
的
member
,
然后
那个 物理
是
AccessingWebPage
的
instance
和 对所有
过程
,
施事体
,, ,
另一个 过程
,, ,
那个 过程
, and 和
客体
如果
那个 施事体
是
人类
的
instance
和
那个 过程
是
购买
的
instance
和
那个 另外 过程
是
AccessingWebPage
的
instance
和
那个 客体
是
WebPage
的
instance
和
那个 另外 过程
是
那个 群体
的
member
和
那个 另外 过程
在
那个 客体
结束 和
那个 施事体
是
那个 过程
的
agent
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 过程
出现 的
time
在
那个 另外 过程
出现 的
time
时段内发生 和
那个 客体
是导致
那个 过程
的
instrument
,
然后
那个 过程
是
那个 另外 群体
的
member
,
然后 有存在
时距
,
实体
_IN_INTERVAL, and 和
另一个 实体
_IN_INTERVAL 这样
purchases
花在
那个 群体
期间
那个 时距
equal
那个 实体
_IN_INTERVAL 所描述的类别
instance
的数量 和
那个 另外 实体
_IN_INTERVAL 所描述的类别
instance
的数量
(=>
(
and
(
instance
?W
Wagon
)
(
instance
?T
Transportation
)
(
instrument
?T ?W))
(
exists
(?P)
(
and
(
instance
?T
Pulling
)
(
agent
?T ?P)
(
patient
?T ?W)
(
or
(
instance
?P
DomesticAnimal
)
(
instance
?P
Vehicle
)))))
Transportation.kif 1852-1864
如果
客体
是
车皮
的
instance
和
过程
是
运输
的
instance
和
那个 客体
是导致
那个 过程
的
instrument
,
然后 有存在
施事体
这样
那个 过程
是
拉
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
那个 客体
是
那个 过程
的
patient
和
那个 施事体
是
家畜
的
instance
或
那个 施事体
是
车辆
的
instance
(=>
(
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
?WEAPON
WeaponOfMassDestruction
)
(
instrument
?ATTACK ?WEAPON)
(
instance
?ATTACK
BiochemicalAttack
))
(
instance
?WEAPON
BiochemicalWeapon
))
WMD.kif 44-49
如果
客体
是
大规模杀伤性武器
的
instance
和
那个 客体
是导致
过程
的
instrument
和
那个 过程
是
生化攻击
的
instance
,
然后
那个 客体
是
生化武器
的
instance
(=>
(
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
Photocopier
)
(
instrument
?COPY ?X)
(
instance
?COPY
Photocopying
)
(
patient
?COPY ?OBJ1)
(
instance
?OBJ1
TwoDimensionalObject
)
(
instance
?OBJ1
VisualContentBearingObject
)
(
containsInformation
?OBJ1 ?INFO))
(
exists
(?OBJ2 ?SHEET)
(
and
(
result
?COPY ?OBJ2)
(
instance
?OBJ2
TwoDimensionalObject
)
(
instance
?OBJ2
VisualContentBearingObject
)
(
containsInformation
?OBJ2 ?INFO)
(
located
?OBJ2 ?SHEET)
(
instance
?SHEET
PrintedSheet
))))
Mid-level-ontology.kif 26299-26315
如果
客体
是
Photocopier
的
instance
和
那个 客体
是导致
过程
的
instrument
和
那个 过程
是
Photocopying
的
instance
和
内容承载物理
是
那个 过程
的
patient
和
那个 内容承载物理
是
二维物体
的
instance
和
那个 内容承载物理
是
VisualContentBearingObject
的
instance
和
那个 内容承载物理
contains
命题
的资料,
然后 有存在
另一个 内容承载物理
和
另一个 客体
这样
那个 另外 内容承载物理
是
那个 过程
的
result
和
那个 另外 内容承载物理
是
二维物体
的
instance
和
那个 另外 内容承载物理
是
VisualContentBearingObject
的
instance
和
那个 另外 内容承载物理
contains
那个 命题
的资料 和
那个 另外 内容承载物理
是
located
在
那个 另外 客体
和
那个 另外 客体
是
PrintedSheet
的
instance
(=>
(
and
(
muscleInsertion
?MC ?BPC)
(
instance
?H
Human
)
(
holdsDuring
?T
(
attribute
?H
StandardAnatomicalPosition
))
(
attribute
?H
Healthy
)
(
instance
?C
MuscularContraction
)
(
during
(
WhenFn
?C) ?T)
(
instance
?M ?MC)
(
part
?M ?H)
(
instrument
?C ?M)
(
physicalEnd
?E ?M)
(
meetsSpatially
?E ?BP)
(
holdsDuring
(
BeginFn
?C)
(
located
?E ?L)))
(
holdsDuring
(
EndFn
?C)
(
not
(
located
?E ?L))))
Anatomy.kif 1758-1780
如果
muscleInsertion
有点 肌肉
and
有点 身体部位
和
客体
是
人类
的
instance
和
StandardAnatomicalPosition
是
那个 客体
的
attribute
在
时距
holdsDuring
和
Healthy
是
那个 客体
的
attribute
和
另一个 时距
是
MuscularContraction
的
instance
和
那个 另外 时距
出现 的
time
在
那个 时距
时段内发生 和
另一个 客体
是
有点 肌肉
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
那个 另外 客体
是导致
那个 另外 时距
的
instrument
和
physicalEnd
第三 客体
and
那个 另外 客体
和
那个 第三 客体
接上
第四 客体
和
那个 第三 客体
是
located
在
实体
在
那个 另外 时距
的开始
holdsDuring
,
然后
那个 第三 客体
不 是
located
在
那个 实体
在
那个 另外 时距
的结束
holdsDuring
(=>
(
and
(
muscleOrigin
?MC ?BPC)
(
instance
?H
Human
)
(
holdsDuring
?T
(
attribute
?H
StandardAnatomicalPosition
))
(
attribute
?H
Healthy
)
(
instance
?C
MuscularContraction
)
(
during
(
WhenFn
?C) ?T)
(
instance
?M ?MC)
(
part
?M ?H)
(
instrument
?C ?M)
(
physicalEnd
?E ?M)
(
meetsSpatially
?E ?BP)
(
holdsDuring
(
BeginFn
?C)
(
located
?E ?L)))
(
holdsDuring
(
EndFn
?C)
(
located
?E ?L)))
Anatomy.kif 1708-1729
如果
muscleOrigin
有点 肌肉
and
有点 身体部位
和
客体
是
人类
的
instance
和
StandardAnatomicalPosition
是
那个 客体
的
attribute
在
时距
holdsDuring
和
Healthy
是
那个 客体
的
attribute
和
另一个 时距
是
MuscularContraction
的
instance
和
那个 另外 时距
出现 的
time
在
那个 时距
时段内发生 和
另一个 客体
是
有点 肌肉
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
那个 另外 客体
是导致
那个 另外 时距
的
instrument
和
physicalEnd
第三 客体
and
那个 另外 客体
和
那个 第三 客体
接上
第四 客体
和
那个 第三 客体
是
located
在
实体
在
那个 另外 时距
的开始
holdsDuring
,
然后
那个 第三 客体
是
located
在
那个 实体
在
那个 另外 时距
的结束
holdsDuring
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