objectTransferred
(=>
(
and
(
suppliesBlood
?AC ?BPC)
(
instance
?A ?AC)
(
instance
?BP ?BPC))
(
hasPurpose
?A
(
exists
(?BF ?B)
(
and
(
instance
?BF
LiquidMotion
)
(
objectTransferred
?BF ?B)
(
instance
?B
Blood
)
(
destination
?BF ?BP)))))
Anatomy.kif 1947-1958
如果
suppliesBlood
有点 动脉
and
有点 身体部位
和
物理
是
有点 动脉
的
instance
和
实体
是
有点 身体部位
的
instance
,
然后
那个 物理
的 目的 是 有存在
另一个 实体
和
第三 实体
这样
那个 另外 实体
是
液体运动
的
instance
和
objectTransferred
那个 另外 实体
and
那个 第三 实体
和
那个 第三 实体
是
血液
的
instance
和
那个 另外 实体
在
那个 实体
结束
(=>
(
and
(
vaccine
?VAC ?VIR)
(
instance
?V
Vaccination
)
(
experiencer
?V ?H)
(
instance
?VACI ?VAC)
(
objectTransferred
?V ?VACI))
(
hasPurpose
?VACI
(
not
(
exists
(?I ?VIRI)
(
and
(
instance
?I
Infecting
)
(
experiencer
?I ?H)
(
instance
?VIRI ?VIR)
(
objectTransferred
?I ?VIRI))))))
WMD.kif 1089-1103
如果
vaccine
有点 Vaccine
and
有点 病毒
和
转移
是
Vaccination
的
instance
和
施事体
经历了
那个 转移
和
有点 Vaccine
I 是
那个 有点 Vaccine
的
instance
和
objectTransferred
那个 转移
and
那个 有点 Vaccine
I,
然后
那个 有点 Vaccine
I 的 目的 是 不存在
实体
和
有点 病毒
I 这样
那个 实体
是
Infecting
的
instance
和
那个 施事体
经历了
那个 实体
和
那个 有点 病毒
I 是
那个 有点 病毒
的
instance
和
objectTransferred
那个 实体
and
那个 有点 病毒
I
(=>
(
attribute
?O
NewItem
)
(
not
(
exists
(?B)
(
and
(
instance
?B
Buying
)
(
objectTransferred
?B ?O)))))
Cars.kif 5142-5148
如果
NewItem
是
客体
的
attribute
,
然后 不存在
转移
这样
那个 转移
是
购买
的
instance
和
objectTransferred
那个 转移
and
那个 客体
(=>
(
attribute
?O
UsedItem
)
(
exists
(?B)
(
and
(
instance
?B
Buying
)
(
objectTransferred
?B ?O))))
Cars.kif 5129-5134
如果
UsedItem
是
客体
的
attribute
,
然后 有存在
转移
这样
那个 转移
是
购买
的
instance
和
objectTransferred
那个 转移
and
那个 客体
(=>
(
attribute
?X
USNonPrescriptionDrug
)
(
modalAttribute
(
exists
(?B)
(
and
(
instance
?B
Buying
)
(
objectTransferred
?B ?X)
(
not
(
exists
(?P)
(
and
(
instance
?P
Prescription
)
(
refers
?P ?X))))))
Legal
))
Mid-level-ontology.kif 9318-9330
如果
USNonPrescriptionDrug
是
客体
的
attribute
,
然后 有存在
实体
这样
那个 实体
是
购买
的
instance
和
objectTransferred
那个 实体
and
那个 客体
和 不存在
另一个 实体
这样
那个 另外 实体
是
Prescription
的
instance
和
那个 另外 实体
提到
那个 客体
的声明 has
合法
的语气
(=>
(
attribute
?X
USPrescriptionDrug
)
(
modalAttribute
(
exists
(?B)
(
and
(
instance
?B
Buying
)
(
objectTransferred
?B ?X)
(
not
(
exists
(?P)
(
and
(
instance
?P
Prescription
)
(
refers
?P ?X))))))
Illegal
))
Mid-level-ontology.kif 9296-9308
如果
USPrescriptionDrug
是
客体
的
attribute
,
然后 有存在
实体
这样
那个 实体
是
购买
的
instance
和
objectTransferred
那个 实体
and
那个 客体
和 不存在
另一个 实体
这样
那个 另外 实体
是
Prescription
的
instance
和
那个 另外 实体
提到
那个 客体
的声明 has
非法
的语气
(=>
(
holdsDuring
?TIME
(
attribute
?T
Tourniquet
))
(
exists
(?P ?B ?A)
(
and
(
instance
?P
Human
)
(
instance
?B
Bleeding
)
(
instance
?A
Attaching
)
(
experiencer
?B ?P)
(
destination
?A ?P)
(
objectTransferred
?A ?T)
(
hasPurpose
?T
(
not
(
exists
(?B2)
(
and
(
instance
?B2
Bleeding
)
(
overlapsTemporally
(
WhenFn
?B2)
(
ImmediateFutureFn
(
WhenFn
?A)))
(
experiencer
?B2 ?P))))))))
Medicine.kif 20-39
如果
Tourniquet
是
客体
的
attribute
在
那个 客体
IME
holdsDuring
,
然后 有存在
施事体
,
过程
, and 和
转移
这样
那个 施事体
是
人类
的
instance
和
那个 过程
是
流血的
的
instance
和
那个 转移
是
连接
的
instance
和
那个 施事体
经历了
那个 过程
和
那个 转移
在
那个 施事体
结束 和
objectTransferred
那个 转移
and
那个 客体
和
那个 客体
的 目的 是 不存在
那个 过程
2 这样
那个 过程
2 是
流血的
的
instance
和 紧接
那个 转移
出现 的
time
after
时段 和
那个 过程
2 出现 的
time
重叠 和
那个 施事体
经历了
那个 过程
2
(=>
(
instance
?A
Antiseizure
)
(
hasPurpose
?A
(
exists
(?H ?I ?T)
(
and
(
instance
?H
Human
)
(
instance
?I
Ingesting
)
(
objectTransferred
?I ?A)
(
agent
?I ?H)
(
earlier
(
WhenFn
?I) ?T)
(
holdsDuring
?T
(
not
(
exists
(?S)
(
and
(
instance
?S
Seizure
)
(
experiencer
?S ?H)))))))))
Medicine.kif 3317-3332
如果
物理
是
Antiseizure
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
是
人类
的
instance
和
那个 另外 实体
是
消化
的
instance
和
objectTransferred
那个 另外 实体
and
那个 物理
和
那个 实体
是
那个 另外 实体
的
agent
和
那个 另外 实体
出现 的
time
比
那个 第三 实体
发生的
earlier
和 不存在
第五 实体
这样
那个 第五 实体
是
Seizure
的
instance
和
那个 实体
经历了
那个 第五 实体
在
那个 第三 实体
holdsDuring
(=>
(
instance
?A
InjectedAntibiotic
)
(
hasPurpose
?A
(
exists
(?I)
(
and
(
instance
?I
Injecting
)
(
objectTransferred
?I ?A)))))
Medicine.kif 1347-1353
如果
物理
是
InjectedAntibiotic
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
这样
那个 实体
是
注射
的
instance
和
objectTransferred
那个 实体
and
那个 物理
(=>
(
instance
?AG
AnimalGuiding
)
(
exists
(?A ?C ?H)
(
and
(
instance
?A
Animal
)
(
agent
?AG ?H)
(
instance
?C
Carrying
)
(
agent
?C ?A)
(
objectTransferred
?C ?H)
(
instrument
?AG ?A))))
Mid-level-ontology.kif 4345-4354
如果
过程
是
AnimalGuiding
的
instance
,
然后 有存在
施事体
,
转移
, and 和
另一个 施事体
这样
那个 施事体
是
动物
的
instance
和
那个 另外 施事体
是
那个 过程
的
agent
和
那个 转移
是
携带
的
instance
和
那个 施事体
是
那个 转移
的
agent
和
objectTransferred
那个 转移
and
那个 另外 施事体
和
那个 施事体
是导致
那个 过程
的
instrument
(=>
(
instance
?AP
Antidepressant
)
(
hasPurpose
?AP
(
exists
(?I ?H)
(
and
(
instance
?I
Ingesting
)
(
objectTransferred
?I ?AP)
(
agent
?AP ?H)
(
holdsDuring
(
FutureFn
(
WhenFn
?I))
(
not
(
attribute
?H
Depression
)))))))
Mid-level-ontology.kif 9697-9709
如果
物理
是
Antidepressant
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 实体
是
消化
的
instance
和
objectTransferred
那个 实体
and
那个 物理
和
那个 另外 实体
是
那个 物理
的
agent
和
Depression
不 是
那个 另外 实体
的
attribute
在
那个 实体
出现 的
time
之后
holdsDuring
(=>
(
instance
?AP
Antipsychotic
)
(
hasPurpose
?AP
(
exists
(?I ?H)
(
and
(
instance
?I
Ingesting
)
(
objectTransferred
?I ?AP)
(
agent
?AP ?H)
(
holdsDuring
(
FutureFn
(
WhenFn
?I))
(
not
(
attribute
?H
Psychosis
)))))))
Mid-level-ontology.kif 9717-9729
如果
物理
是
Antipsychotic
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 实体
是
消化
的
instance
和
objectTransferred
那个 实体
and
那个 物理
和
那个 另外 实体
是
那个 物理
的
agent
和
精神病
不 是
那个 另外 实体
的
attribute
在
那个 实体
出现 的
time
之后
holdsDuring
(=>
(
instance
?AT
ApplyingTourniquet
)
(
exists
(?A ?P ?T)
(
and
(
instance
?A
Agent
)
(
instance
?P
Mammal
)
(
holdsDuring
(
WhenFn
?AT)
(
attribute
?T
Tourniquet
))
(
destination
?AT ?P)
(
agent
?AT ?A)
(
objectTransferred
?AT ?T))))
Medicine.kif 67-78
如果
转移
是
ApplyingTourniquet
的
instance
,
然后 有存在
施事体
,
实体
, and 和
客体
这样
那个 施事体
是
Agent
的
instance
和
那个 实体
是
哺乳动物
的
instance
和
Tourniquet
是
那个 客体
的
attribute
在
那个 转移
出现 的
time
holdsDuring
和
那个 转移
在
那个 实体
结束 和
那个 施事体
是
那个 转移
的
agent
和
objectTransferred
那个 转移
and
那个 客体
(=>
(
instance
?B
Birth
)
(
exists
(?M ?BABY)
(
and
(
attribute
?M
Female
)
(
origin
?B ?M)
(
objectTransferred
?B ?BABY)
(
attribute
?BABY
NonFullyFormed
))))
Mid-level-ontology.kif 24010-24017
如果
转移
是
出生
的
instance
,
然后 有存在
客体
和
那个 转移
ABY 这样
女
是
那个 客体
的
attribute
和
那个 客体
是
那个 转移
的源头 和
objectTransferred
那个 转移
and
那个 转移
ABY 和
没有完全形成
是
那个 转移
ABY 的
attribute
(=>
(
instance
?BREAK
BreakingWave
)
(
exists
(?WAVE ?WATER1 ?WATER2 ?FALL)
(
and
(
instance
?WAVE
WaterWave
)
(
subProcess
?BREAK ?WAVE)
(
instance
?WATER1
BodyOfWater
)
(
instance
?WATER2
BodyOfWater
)
(
patient
?WAVE ?WATER2)
(
patient
?BREAK ?WATER1)
(
instance
?FALL
Falling
)
(
objectTransferred
?FALL ?WATER1)
(
holdsDuring
(
BeginFn
(
WhenFn
?FALL))
(
part
?WATER1 ?WATER2))
(
holdsDuring
(
EndFn
(
WhenFn
?FALL))
(
not
(
part
?WATER1 ?WATER2))))))
Weather.kif 1353-1373
如果
过程
是
碎波
的
instance
,
然后 有存在
另一个 过程
,
客体
,, ,
实体
, and 和
转移
这样
那个 另外 过程
是
水波
的
instance
和
那个 过程
%n是
那个 另外 过程
的
subProcess
和
那个 客体
是
水体
的
instance
和
那个 实体
是
水体
的
instance
和
那个 实体
是
那个 另外 过程
的
patient
和
那个 客体
是
那个 过程
的
patient
和
那个 转移
是
落下
的
instance
和
objectTransferred
那个 转移
and
那个 客体
和
那个 客体
是
那个 实体
的
part
在
那个 转移
出现 的
time
的开始
holdsDuring
和
那个 客体
不 是
那个 实体
的
part
在
那个 转移
出现 的
time
的结束
holdsDuring
(=>
(
instance
?C
Catheterization
)
(
exists
(?CATH ?O)
(
and
(
instance
?CATH
Catheter
)
(
instance
?O
Organism
)
(
objectTransferred
?C ?CATH)
(
destination
?C ?O))))
Medicine.kif 570-577
如果
转移
是
Catheterization
的
instance
,
然后 有存在
那个 转移
ATH 和
实体
这样
那个 转移
ATH 是
Catheter
的
instance
和
那个 实体
是
生物
的
instance
和
objectTransferred
那个 转移
and
那个 转移
ATH 和
那个 转移
在
那个 实体
结束
(=>
(
instance
?D
Defrauding
)
(
exists
(?A ?P ?O)
(
and
(
agent
?D ?A)
(
suffers
?D ?P)
(
benefits
?D ?A)
(
objectTransferred
?D ?O)
(
origin
?O ?P)
(
destination
?O ?A))))
Mid-level-ontology.kif 18311-18320
如果
转移
是
Defrauding
的
instance
,
然后 有存在
施事体
,
另一个 施事体
, and 和
客体
这样
那个 施事体
是
那个 转移
的
agent
和
那个 另外 施事体
suffers
从
那个 转移
和
那个 施事体
是
那个 转移
的 受益者 和
objectTransferred
那个 转移
and
那个 客体
和
那个 另外 施事体
是
那个 客体
的源头 和
那个 客体
在
那个 施事体
结束
(=>
(
instance
?DRIZZLE
Drizzling
)
(
exists
(?CLTN ?R ?SIZE)
(
and
(
instance
?CLTN
Collection
)
(
instance
?R
Water
)
(
instance
?R
LiquidDrop
)
(
member
?R ?CLTN)
(
objectTransferred
?DRIZZLE ?CLTN)
(
approximateDiameter
?R
(
MeasureFn
?SIZE
Millimeter
))
(
modalAttribute
(
lessThanOrEqualTo
?SIZE 0.5)
Likely
))))
Weather.kif 2803-2815
如果
转移
是
毛毛雨
的
instance
,
然后 有存在
群体
,
自身连接物体
, and 和
实数
这样
那个 群体
是
群体
的
instance
和
那个 自身连接物体
是
水
的
instance
和
那个 自身连接物体
是
液体滴
的
instance
和
那个 自身连接物体
是
那个 群体
的
member
和
objectTransferred
那个 转移
and
那个 群体
和 1 的
approximate
diameter
是 %2 和
那个 实数
是
lessThanOrEqualTo
0.5 的声明 has
容易
的语气
(=>
(
instance
?EC
ElectricTransmission
)
(
exists
(?E)
(
and
(
instance
?E
Electricity
)
(
objectTransferred
?EC ?E))))
Cars.kif 2390-2395
如果
转移
是
ElectricTransmission
的
instance
,
然后 有存在
客体
这样
那个 客体
是
电力
的
instance
和
objectTransferred
那个 转移
and
那个 客体
(=>
(
instance
?EV
ExhaustValve
)
(
hasPurpose
?EV
(
exists
(?E ?T)
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?E)
(
path
?T ?EV)
(
instance
?E
Exhaust
)))))
Cars.kif 2665-2673
如果
物理
是
ExhaustValve
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 另外 实体
是
转移
的
instance
和
objectTransferred
那个 另外 实体
and
那个 实体
和
那个 物理
%n是
那个 另外 实体
发生的
path
和
那个 实体
是
Exhaust
的
instance
(=>
(
instance
?GF
GreaseFitting
)
(
hasPurpose
?GF
(
exists
(?P ?G)
(
and
(
instance
?G
Grease
)
(
instance
?P
Putting
)
(
path
?P ?GF)
(
objectTransferred
?P ?G)))))
Cars.kif 3020-3028
如果
物理
是
GreaseFitting
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 另外 实体
是
Grease
的
instance
和
那个 实体
是
放
的
instance
和
那个 物理
%n是
那个 实体
发生的
path
和
objectTransferred
那个 实体
and
那个 另外 实体
(=>
(
instance
?GG
GreaseGun
)
(
hasPurpose
?GG
(
exists
(?P ?G)
(
and
(
instance
?G
Grease
)
(
instance
?P
Putting
)
(
instrument
?P ?GG)
(
objectTransferred
?P ?G)))))
Cars.kif 3036-3044
如果
物理
是
GreaseGun
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 另外 实体
是
Grease
的
instance
和
那个 实体
是
放
的
instance
和
那个 物理
是导致
那个 实体
的
instrument
和
objectTransferred
那个 实体
and
那个 另外 实体
(=>
(
instance
?HT
HandTool
)
(
capability
Carrying
objectTransferred
?HT))
Cars.kif 4476-4478
如果
客体
是
HandTool
的
instance
,
然后
那个 客体
能够担当
objectTransferred
的角色做
携带
(=>
(
instance
?I
ITunes
)
(
hasPurpose
?I
(
exists
(?M ?D)
(
and
(
instance
?M
MultimediaFile
)
(
instance
?D
DownloadingOverNetwork
)
(
objectTransferred
?D ?M)
(
instrument
?D ?I)))))
ComputingBrands.kif 3409-3417
如果
物理
是
ITunes
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 实体
是
MultimediaFile
的
instance
和
那个 另外 实体
是
下載
的
instance
和
objectTransferred
那个 另外 实体
and
那个 实体
和
那个 物理
是导致
那个 另外 实体
的
instrument
(=>
(
instance
?I
Inflammation
)
(
exists
(?T ?W)
(
and
(
instance
?T
Translocation
)
(
instance
?W
WhiteBloodCell
)
(
objectTransferred
?T ?W)
(
destination
?T
(
WhereFn
?I
(
WhenFn
?I))))))
Mid-level-ontology.kif 12397-12406
如果
物理
是
Inflammation
的
instance
,
然后 有存在
转移
和
客体
这样
那个 转移
是
易位
的
instance
和
那个 客体
是
白细胞
的
instance
和
objectTransferred
那个 转移
and
那个 客体
和
那个 转移
在
那个 物理
在
那个 物理
出现 的
time
时所处的地区 结束
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