destination
(=>
(
and
(
instance
?Deposit
Deposit
)
(
instance
?Account
FinancialAccount
)
(
destination
?Deposit
(
CurrencyFn
?Account))
(
transactionAmount
?Deposit
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Deposit))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
AdditionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
FutureFn
?Deposit))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 436-453
如果
金融交易
是
存款
的
instance
和
金融账户
是
金融账户
的
instance
和
那个 金融交易
在
那个 金融账户
的
currency
结束 和
实数
测量单位
是
那个 金融交易
的
transaction
总额 和
那个 金融账户
对于 %3 的
current
帐户存款 和
另一个 实数
equal
(
第三 实数
和
那个 实数
),
然后
那个 金融账户
对于 %3 的
current
帐户存款
(=>
(
and
(
instance
?E
Entombing
)
(
destination
?E ?T))
(
instance
?T
Tomb
))
Mid-level-ontology.kif 18049-18053
如果
过程
是
埋葬
的
instance
和
那个 过程
在
实体
结束,
然后
那个 实体
是
墓
的
instance
(=>
(
and
(
instance
?E
Exhaust
)
(
material
Fuel
?E)
(
instance
?T
Transfer
)
(
instance
?ENG
Engine
)
(
origin
?T ?ENG)
(
instance
?CC
CatalyticConverter
)
(
destination
?T ?CC)
(
objectTransferred
?T ?E))
(
hasPurpose
?CC
(
exists
(?C)
(
and
(
instance
?C
Combustion
)
(
instrument
?C ?CC)
(
patient
?C ?E)
(
eventLocated
?C ?CC)))))
Cars.kif 1717-1733
如果
躯体性物体
是
Exhaust
的
instance
和
汽油
是
那个 躯体性物体
的材料 和
转移
是
转移
的
instance
和
那个 躯体性物体
NG 是
发动机
的
instance
和
那个 躯体性物体
NG 是
那个 转移
的源头 和
物理
是
CatalyticConverter
的
instance
和
那个 转移
在
那个 物理
结束 和
objectTransferred
那个 转移
and
那个 躯体性物体
,
然后
那个 物理
的 目的 是 有存在
实体
这样
那个 实体
是
燃烧
的
instance
和
那个 物理
是导致
那个 实体
的
instrument
和
那个 躯体性物体
是
那个 实体
的
patient
和
那个 实体
是
located
在
那个 物理
(=>
(
and
(
instance
?E
RadioEmission
)
(
destination
?E ?D))
(
instance
?D
ReceiverDevice
))
Mid-level-ontology.kif 1807-1811
如果
过程
是
无线电发射
的
instance
和
那个 过程
在
实体
结束,
然后
那个 实体
是
接收器设备
的
instance
(=>
(
and
(
instance
?EV
Evacuation
)
(
origin
?EV ?OR)
(
destination
?EV ?D))
(
exists
(?L)
(
and
(
instance
?L
Translocation
)
(
subProcess
?L ?EV)
(
destination
?L ?D)
(
origin
?L ?OR))))
MilitaryProcesses.kif 2501-2511
如果
过程
是
疏散
的
instance
和
客体
是
那个 过程
的源头 和
那个 过程
在
实体
结束,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
易位
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 另外 过程
在
那个 实体
结束 和
那个 客体
是
那个 另外 过程
的源头
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
destination
?EXPORT ?AREA))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
Economy.kif 2447-2454
如果
过程
是
出口
的
instance
和
实体
是
那个 过程
的
patient
和
另一个 实体
是
地缘政治区域
的
instance
和
那个 过程
在
那个 另外 实体
结束,
然后
那个 实体
是
located
在
那个 另外 实体
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
origin
?EXPORT ?AREA1)
(
instance
?AREA2
GeopoliticalArea
)
(
destination
?EXPORT ?AREA2))
(
not
(
equal
?AREA1 ?AREA2)))
Economy.kif 2468-2476
如果
过程
是
出口
的
instance
和
实体
是
那个 过程
的
patient
和
客体
是
地缘政治区域
的
instance
和
那个 客体
是
那个 过程
的源头 和
另一个 实体
是
地缘政治区域
的
instance
和
那个 过程
在
那个 另外 实体
结束,
然后
那个 客体
不
equal
那个 另外 实体
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
origin
?EXPORT ?AREA1)
(
instance
?AREA2
GeopoliticalArea
)
(
destination
?EXPORT ?AREA2))
(
not
(
located
?AREA2 ?AREA1)))
Economy.kif 2478-2486
如果
过程
是
出口
的
instance
和
实体
是
那个 过程
的
patient
和
客体
是
地缘政治区域
的
instance
和
那个 客体
是
那个 过程
的源头 和
物理
是
地缘政治区域
的
instance
和
那个 过程
在
那个 物理
结束,
然后
那个 物理
不 是
located
在
那个 客体
(=>
(
and
(
instance
?F
Feeding
)
(
destination
?F ?A))
(
instance
?A
Animal
))
Mid-level-ontology.kif 11582-11586
如果
过程
是
馈送
的
instance
和
那个 过程
在
实体
结束,
然后
那个 实体
是
动物
的
instance
(=>
(
and
(
instance
?F
Scholarship
)
(
destination
?F ?H))
(
hasPurpose
?F
(
exists
(?EP ?P)
(
and
(
instance
?EP
EducationalProgram
)
(
realization
?P ?EP)
(
experiencer
?P ?H)))))
Mid-level-ontology.kif 7231-7240
如果
过程
是
奖学金
的
instance
和
那个 过程
在
实体
结束,
然后
那个 过程
的 目的 是 有存在
另一个 实体
和
第三 实体
这样
那个 另外 实体
是
教育计划
的
instance
和
那个 第三 实体
表示
那个 另外 实体
的内容 和
那个 实体
经历了
那个 第三 实体
(=>
(
and
(
instance
?FALL
Waterfall
)
(
instance
?CURRENT
WaterMotion
)
(
flowCurrent
?CURRENT ?FALL)
(
origin
?CURRENT ?TOP)
(
destination
?CURRENT ?BOTTOM)
(
instance
?TOP
WaterArea
)
(
instance
?BOTTOM
WaterArea
))
(
orientation
?TOP ?BOTTOM
Above
))
Geography.kif 5561-5570
如果
水域
是
瀑布
的
instance
和
水运动
是
水运动
的
instance
和
那个 水域
是
那个 水运动
的
flow
流量 和
客体
是
那个 水运动
的源头 和
那个 水运动
在
另一个 客体
结束 和
那个 客体
是
水域
的
instance
和
那个 另外 客体
是
水域
的
instance
,
然后
那个 客体
在
那个 另外 客体
的
以上
(=>
(
and
(
instance
?FP
FuelPump
)
(
instance
?A
Automobile
)
(
part
?FP ?A)
(
instance
?T
Transportation
)
(
instance
?F
Fuel
)
(
patient
?T ?F)
(
instrument
?F ?FP)
(
instance
?GT
GasTank
)
(
part
?GT ?A)
(
instance
?EC
EngineCylinder
)
(
part
?EC ?A)
(
origin
?T ?GT)
(
destination
?T ?EC)
(
path
?T ?P))
(
hasPurpose
?T
(
exists
(?FF)
(
and
(
instance
?FF
FuelFilter
)
(
betweenOnPath
?GT ?FF ?EC ?P)))))
Cars.kif 1070-1090
如果
客体
是
FuelPump
的
instance
和
另一个 客体
是
汽车
的
instance
和
那个 客体
是
那个 另外 客体
的
part
和
运动
是
运输
的
instance
和
过程
是
汽油
的
instance
和
那个 过程
是
那个 运动
的
patient
和
那个 客体
是导致
那个 过程
的
instrument
和
第三 客体
是
GasTank
的
instance
和
那个 第三 客体
是
那个 另外 客体
的
part
和
第四 客体
是
EngineCylinder
的
instance
和
那个 第四 客体
是
那个 另外 客体
的
part
和
那个 第三 客体
是
那个 运动
的源头 和
那个 运动
在
那个 第四 客体
结束 和
第五 客体
%n是
那个 运动
发生的
path
,
然后
那个 运动
的 目的 是 有存在
那个 过程
F 这样
那个 过程
F 是
FuelFilter
的
instance
和
那个 第三 客体
對於
那个 第四 客体
between
在路徑
那个 过程
F
(=>
(
and
(
instance
?GIVE
Giving
)
(
agent
?GIVE ?AGENT1)
(
destination
?GIVE ?AGENT2)
(
instance
?AGENT2
AutonomousAgent
)
(
patient
?GIVE ?OBJ))
(
exists
(?GET)
(
and
(
instance
?GET
Getting
)
(
agent
?GET ?AGENT2)
(
origin
?GET ?AGENT1)
(
patient
?GET ?OBJ))))
Merge.kif 11673-11685
如果
过程
是
给予
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 过程
在
另一个 施事体
结束 和
那个 另外 施事体
是
施事体
的
instance
和
实体
是
那个 过程
的
patient
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
获得
的
instance
和
那个 另外 施事体
是
那个 另外 过程
的
agent
和
那个 施事体
是
那个 另外 过程
的源头 和
那个 实体
是
那个 另外 过程
的
patient
(=>
(
and
(
instance
?I
Ingesting
)
(
objectTransferred
?I ?H)
(
instance
?H
Hallucinogen
)
(
destination
?I ?P))
(
modalAttribute
(
exists
(?HAL)
(
and
(
instance
?HAL
Hallucination
)
(
experiencer
?HAL ?P)))
Likely
))
TransnationalIssues.kif 88-99
如果
转移
是
消化
的
instance
和
objectTransferred
那个 转移
and
客体
和
那个 客体
是
迷幻剂
的
instance
和
那个 转移
在
实体
结束,
然后 有存在
那个 客体
AL 这样
那个 客体
AL 是
Hallucination
的
instance
和
那个 实体
经历了
那个 客体
AL 的声明 has
容易
的语气
(=>
(
and
(
instance
?I
Injecting
)
(
instance
?A
Adalimumab
)
(
objectTransferred
?I ?A)
(
located
?I ?BP)
(
instance
?BP
BodyPart
)
(
destination
?I ?H))
(
modalAttribute
(
exists
(?T)
(
and
(
holdsDuring
?T
(
attribute
?H
(
PainFn
?BP)))
(
during
?T
(
FutureFn
(
WhenFn
?I)))))
Likely
))
Medicine.kif 3628-3644
如果
转移
是
注射
的
instance
和
客体
是
Adalimumab
的
instance
和
objectTransferred
那个 转移
and
那个 客体
和
那个 转移
是
located
在
另一个 客体
和
那个 另外 客体
是
身体部位
的
instance
和
那个 转移
在
实体
结束,
然后 有存在
另一个 实体
这样
PainFn
那个 另外 客体
是
那个 实体
的
attribute
在
那个 另外 实体
holdsDuring
和
那个 另外 实体
在
那个 转移
出现 的
time
之后 时段内发生 的声明 has
容易
的语气
(=>
(
and
(
instance
?I
SoftwareInstallation
)
(
dataProcessed
?I ?P)
(
instance
?P
ComputerProgram
)
(
destination
?I ?C))
(
hasPurpose
?I
(
exists
(?PROC)
(
computerRunning
?PROC ?C))))
ComputingBrands.kif 3593-3601
如果
电脑程序
是
安装
的
instance
和
数字数据
是由
那个 电脑程序
processed
和
那个 数字数据
是
电脑程序
的
instance
和
那个 电脑程序
在
实体
结束,
然后
那个 电脑程序
的 目的 是 有存在
那个 数字数据
ROC 这样
那个 数字数据
ROC 是
running
在
那个 实体
(=>
(
and
(
instance
?INSERT
Inserting
)
(
patient
?INSERT ?OBJ1)
(
destination
?INSERT ?OBJ2))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?INSERT))
(
not
(
contains
?OBJ2 ?OBJ1)))
(
holdsDuring
(
EndFn
(
WhenFn
?INSERT))
(
contains
?OBJ2 ?OBJ1))))
Merge.kif 11424-11431
如果
过程
是
插入
的
instance
和
实体
是
那个 过程
的
patient
和
那个 过程
在
另一个 实体
结束,
然后
那个 另外 实体
doesn't
contains
那个 实体
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 另外 实体
contains
那个 实体
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?L
Lever
)
(
instance
?P
Pushing
)
(
instance
?M1
Motion
)
(
instance
?U
UnitOfLength
)
(
destination
?P ?E1)
(
physicalEnd
?E1 ?L)
(
physicalEnd
?E2 ?L)
(
not
(
equal
?E1 ?E2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E1 ?P1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E1 ?P2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E2 ?P3))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E2 ?P4))
(
distance
?P1 ?P2
(
MeasureFn
?D1 ?U))
(
distance
?P3 ?P4
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D2 ?D1))
Mid-level-ontology.kif 1332-1355
如果
客体
是
Lever
的
instance
和
过程
是
Pushing
的
instance
和
物理
是
运动
的
instance
和
测量单位
是
UnitOfLength
的
instance
和
那个 过程
在
另一个 客体
结束 和
physicalEnd
那个 另外 客体
and
那个 客体
和
physicalEnd
第三 客体
and
那个 客体
和
那个 另外 客体
不
equal
那个 第三 客体
和
那个 另外 客体
是
located
在
那个 过程
1 在 紧接
那个 物理
出现 的
time
before
holdsDuring
和
那个 另外 客体
是
located
在
那个 过程
2 在 紧接
那个 物理
出现 的
time
after
holdsDuring
和
那个 第三 客体
是
located
在
那个 过程
3 在 紧接
那个 物理
出现 的
time
before
holdsDuring
和
那个 第三 客体
是
located
在
那个 过程
4 在 紧接
那个 物理
出现 的
time
after
holdsDuring
和
那个 过程
1 和
那个 过程
2 的
distance
是
实数
那个 测量单位
和
那个 过程
3 和
那个 过程
4 的
distance
是
另一个 实数
那个 测量单位
,
然后
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
instance
?L
LoadingWeapon
)
(
destination
?L ?W))
(
instance
?W
ProjectileLauncher
))
Mid-level-ontology.kif 1378-1382
如果
过程
是
装载武器
的
instance
和
那个 过程
在
实体
结束,
然后
那个 实体
是
抛射物发射器
的
instance
(=>
(
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 11744-11755
如果
过程
是
借出
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 过程
在
另一个 施事体
结束 和
实体
是
那个 过程
的
patient
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
借入
的
instance
和
那个 另外 施事体
是
那个 另外 过程
的
agent
和
那个 施事体
是
那个 另外 过程
的源头 和
那个 实体
是
那个 另外 过程
的
patient
(=>
(
and
(
instance
?MOTION
Motion
)
(
moves
?MOTION ?OBJ)
(
destination
?MOTION ?PLACE))
(
holdsDuring
(
EndFn
(
WhenFn
?MOTION))
(
located
?OBJ ?PLACE)))
Merge.kif 11052-11057
如果
运动
是
运动
的
instance
和
移动
那个 运动
and
客体
和
那个 运动
在
实体
结束,
然后
那个 客体
是
located
在
那个 实体
在
那个 运动
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?MTP
MovingAwayFromPeople
)
(
origin
?MTP ?O)
(
destination
?MTP ?D))
(
not
(
equal
?O ?D)))
emotion.kif 1385-1391
如果
过程
是
MovingAwayFromPeople
的
instance
和
客体
是
那个 过程
的源头 和
那个 过程
在
实体
结束,
然后
那个 客体
不
equal
那个 实体
(=>
(
and
(
instance
?MTP
MovingTowardsPeople
)
(
origin
?MTP ?O)
(
destination
?MTP ?D))
(
not
(
equal
?O ?D)))
emotion.kif 1419-1425
如果
过程
是
MovingTowardsPeople
的
instance
和
客体
是
那个 过程
的源头 和
那个 过程
在
实体
结束,
然后
那个 客体
不
equal
那个 实体
(=>
(
and
(
instance
?P
BankCardPayment
)
(
destination
?P ?AGENT))
(
capability
BankCardPayment
destination
?AGENT))
Dining.kif 437-441
如果
过程
是
BankCardPayment
的
instance
和
那个 过程
在
客体
结束,
然后
那个 客体
能够担当
终点
的角色做
BankCardPayment
(=>
(
and
(
instance
?P
FoodPickup
)
(
agent
?P ?AGENT)
(
destination
?P ?CUST)
(
patient
?P ?FOOD))
(
and
(
instance
?FOOD
(
FoodForFn
Human
))
(
exists
(?LOC ?T ?G)
(
and
(
located
?AGENT ?LOC)
(
instance
?T
Translocation
)
(
agent
?T ?CUST)
(
destination
?T ?LOC)
(
instance
?G
Getting
)
(
origin
?G ?AGENT)
(
destination
?G ?CUST)
(
patient
?G ?FOOD)))))
Dining.kif 610-627
如果
过程
是
FoodPickup
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 过程
在
另一个 施事体
结束 和
实体
是
那个 过程
的
patient
,
然后
那个 实体
是
food
for
人类
的
instance
和 有存在
客体
,
另一个 过程
, and 和
第三 过程
这样
那个 施事体
是
located
在
那个 客体
和
那个 另外 过程
是
易位
的
instance
和
那个 另外 施事体
是
那个 另外 过程
的
agent
和
那个 另外 过程
在
那个 客体
结束 和
那个 第三 过程
是
获得
的
instance
和
那个 施事体
是
那个 第三 过程
的源头 和
那个 第三 过程
在
那个 另外 施事体
结束 和
那个 实体
是
那个 第三 过程
的
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