Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
objectTransferred
Sigma KEE - objectTransferred
objectTransferred
appearance as argument number 1
(
documentation
objectTransferred
EnglishLanguage
"A relation that specifies the object that is transferred during the process. For example, in a
Mailing
process, the object transferred is a letter or package.")
Merge.kif 11335-11337
(
domain
objectTransferred
1
Transfer
)
Merge.kif 11332-11332
objectTransferred
的 1 数量 是
转移
的
instance
(
domain
objectTransferred
2
Object
)
Merge.kif 11333-11333
objectTransferred
的 2 数量 是
客体
的
instance
(
instance
objectTransferred
CaseRole
)
Merge.kif 11330-11330
objectTransferred
是
格角色
的
instance
(
subrelation
objectTransferred
patient
)
Merge.kif 11331-11331
objectTransferred
是
受事
的
subrelation
appearance as argument number 2
(
format
EnglishLanguage
objectTransferred
"the object transferred in %1 is %n %2")
Merge.kif 11334-11334
(
subrelation
passenger
objectTransferred
)
Mid-level-ontology.kif 30761-30761
passenger
是
objectTransferred
的
subrelation
(
termFormat
EnglishLanguage
objectTransferred
"object transferred")
domainEnglishFormat.kif 65887-65887
antecedent
(=>
(
and
(
instance
?B
Bequeathing
)
(
agent
?B ?P)
(
destination
?B ?H)
(
objectTransferred
?B ?PROP))
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?P)
(
earlier
(
WhenFn
?D)
(
WhenFn
?B))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?D))
(
possesses
?P ?PROP))
(
confersNorm
?P
(
possesses
?H ?PROP)
Permission
))))
Mid-level-ontology.kif 18679-18695
如果
转移
是
遗赠
的
instance
和
施事体
是
那个 转移
的
agent
和
那个 转移
在
实体
结束 和
objectTransferred
那个 转移
and
那个 施事体
ROP,
然后 有存在
过程
这样
那个 过程
是
死亡
的
instance
和
那个 施事体
经历了
那个 过程
和
那个 过程
出现 的
time
比
那个 转移
出现 的
time
发生的
earlier
和
那个 施事体
possesses
那个 施事体
ROP 在 紧接
那个 过程
出现 的
time
before
holdsDuring
和
那个 施事体
confers
规范
那个 实体
possesses
那个 施事体
ROP 对于
允许
(=>
(
and
(
instance
?BI
BreakthroughInfection
)
(
objectTransferred
?BI ?V)
(
instance
?V ?VC)
(
experiencer
?BI ?H))
(
exists
(?VAX)
(
and
(
instance
?VAX
Vaccination
)
(
experiencer
?VAX ?H)
(
vaccine
?VACCINECLASS ?VC)
(
instance
?VACCINE ?VACCINECLASS)
(
objectTransferred
?VAX ?VACCINE)
(
earlier
(
WhenFn
?VAX)
(
WhenFn
?BI)))))
Medicine.kif 3179-3194
如果
转移
是
BreakthroughInfection
的
instance
和
objectTransferred
那个 转移
and
客体
和
那个 客体
是
那个 客体
C 的
instance
和
施事体
经历了
那个 转移
,
然后 有存在
那个 客体
AX 这样
那个 客体
AX 是
Vaccination
的
instance
和
那个 施事体
经历了
那个 客体
AX 和
vaccine
那个 客体
ACCINECLASS and
那个 客体
C 和
那个 客体
ACCINE 是
那个 客体
ACCINECLASS 的
instance
和
objectTransferred
那个 客体
AX and
那个 客体
ACCINE 和
那个 客体
AX 出现 的
time
比
那个 转移
出现 的
time
发生的
earlier
(=>
(
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
?EM
Electromagnet
)
(
instance
?T
Transfer
)
(
instance
?E
Electricity
)
(
objectTransferred
?T ?E)
(
path
?T ?EM))
(
exists
(?M)
(
and
(
instance
?M
Magnetism
)
(
instrument
?M ?EM))))
Cars.kif 3893-3903
如果
客体
是
Electromagnet
的
instance
和
转移
是
转移
的
instance
和
另一个 客体
是
电力
的
instance
和
objectTransferred
那个 转移
and
那个 另外 客体
和
那个 客体
%n是
那个 转移
发生的
path
,
然后 有存在
过程
这样
那个 过程
是
磁
的
instance
和
那个 客体
是导致
那个 过程
的
instrument
(=>
(
and
(
instance
?EM
Electromagnet
)
(
not
(
holdsDuring
?T1
(
exists
(?T ?E)
(
and
(
instance
?T
Transfer
)
(
instance
?E
Electricity
)
(
objectTransferred
?T ?E)
(
path
?T ?EM))))))
(
not
(
holdsDuring
?T1
(
exists
(?M)
(
and
(
instance
?M
Magnetism
)
(
instrument
?M ?EM))))))
Cars.kif 3905-3921
如果
实体
是
Electromagnet
的
instance
和 有存在
另一个 实体
和
第三 实体
这样
那个 另外 实体
是
转移
的
instance
和
那个 第三 实体
是
电力
的
instance
和
objectTransferred
那个 另外 实体
and
那个 第三 实体
和
那个 实体
%n是
那个 另外 实体
发生的
path
doesn't 在
那个 另外 实体
1
holdsDuring
,
然后 有存在
第五 实体
这样
那个 第五 实体
是
磁
的
instance
和
那个 实体
是导致
那个 第五 实体
的
instrument
doesn't 在
那个 另外 实体
1
holdsDuring
(=>
(
and
(
instance
?I
Ingesting
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?D)
(
instance
?D ?DC)
(
pathologicSideEffect
?DC ?DIS))
(
modalAttribute
(
exists
(?P)
(
and
(
instance
?P ?DIS)
(
experiencer
?H ?P)))
Likely
))
WMD.kif 1563-1575
如果
转移
是
消化
的
instance
和
施事体
经历了
那个 转移
和
objectTransferred
那个 转移
and
客体
和
那个 客体
是
那个 客体
C 的
instance
和
pathologicSideEffect
那个 客体
C and
那个 客体
IS,
然后 有存在
实体
这样
那个 实体
是
那个 客体
IS 的
instance
和
那个 实体
经历了
那个 施事体
的声明 has
容易
的语气
(=>
(
and
(
instance
?I
Ingesting
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?D)
(
instance
?D ?DC)
(
sideEffect
?DC ?DIS))
(
modalAttribute
(
attribute
?H ?DIS)
Likely
))
WMD.kif 1545-1554
如果
转移
是
消化
的
instance
和
施事体
经历了
那个 转移
和
objectTransferred
那个 转移
and
客体
和
那个 客体
是
那个 客体
C 的
instance
和
那个 客体
IS 是服用
那个 客体
C 的
side
effect
,
然后
那个 客体
IS 是
那个 施事体
的
attribute
的声明 has
容易
的语气
(=>
(
and
(
instance
?I
Ingesting
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?MS)
(
instance
?MS
MoodStabilizer
)
(
instance
?E ?EC)
(
involvedInEvent
?E ?H)
(
holdsDuring
(
WhenFn
?E)
(
attribute
?H ?ES))
(
instance
?ES
EmotionalState
)
(
instance
?E2 ?EC)
(
involvedInEvent
?E2 ?H)
(
earlier
(
WhenFn
?E2)
(
WhenFn
?I)))
(
modalAttribute
(
not
(
holdsDuring
?E2
(
attribute
?H ?ES)))
Unlikely
))
Mid-level-ontology.kif 9774-9795
如果
转移
是
消化
的
instance
和
施事体
经历了
那个 转移
和
objectTransferred
那个 转移
and
客体
和
那个 客体
是
MoodStabilizer
的
instance
和
过程
是
那个 过程
C 的
instance
和
那个 施事体
是事件
那个 过程
的
involved
和
那个 过程
S 是
那个 施事体
的
attribute
在
那个 过程
出现 的
time
holdsDuring
和
那个 过程
S 是
情绪状态
的
instance
和
那个 过程
2 是
那个 过程
C 的
instance
和
那个 施事体
是事件
那个 过程
2 的
involved
和
那个 过程
2 出现 的
time
比
那个 转移
出现 的
time
发生的
earlier
,
然后
那个 过程
S 是
那个 施事体
的
attribute
doesn't 在
那个 过程
2
holdsDuring
的声明 has
较不可能
的语气
(=>
(
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
Intubation
)
(
instance
?T
Tube
)
(
objectTransferred
?I ?T)
(
experiencer
?I ?H))
(
exists
(?TH)
(
and
(
instance
?TH
Trachea
)
(
part
?TH ?H)
(
destination
?I ?TH))))
Medicine.kif 4135-4145
如果
转移
是
Intubation
的
instance
和
客体
是
管
的
instance
和
objectTransferred
那个 转移
and
那个 客体
和
施事体
经历了
那个 转移
,
然后 有存在
那个 客体
H 这样
那个 客体
H 是
Trachea
的
instance
和
那个 客体
H 是
那个 施事体
的
part
和
那个 转移
在
那个 客体
H 结束
(=>
(
and
(
instance
?I
Intubation
)
(
instance
?T
Tube
)
(
objectTransferred
?I ?T)
(
experiencer
?I ?H))
(
hasPurpose
?I
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
instrument
?B ?T)))))
Medicine.kif 4123-4133
如果
转移
是
Intubation
的
instance
和
客体
是
管
的
instance
和
objectTransferred
那个 转移
and
那个 客体
和
施事体
经历了
那个 转移
,
然后
那个 转移
的 目的 是 有存在
实体
这样
那个 实体
是
呼吸
的
instance
和
那个 客体
是导致
那个 实体
的
instrument
(=>
(
and
(
instance
?M
MoveToEvac
)
(
objectTransferred
?M ?P))
(
hasPurpose
?M
(
exists
(?E)
(
and
(
instance
?E
Evacuation
)
(
objectTransferred
?E ?P)
(
earlier
(
WhenFn
?M)
(
WhenFn
?E))))))
Medicine.kif 6532-6543
如果
转移
是
MoveToEvac
的
instance
和
objectTransferred
那个 转移
and
客体
,
然后
那个 转移
的 目的 是 有存在
实体
这样
那个 实体
是
疏散
的
instance
和
objectTransferred
那个 实体
and
那个 客体
和
那个 转移
出现 的
time
比
那个 实体
出现 的
time
发生的
earlier
(=>
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?O)
(
orientation
?O2 ?O
Inside
))
(
objectTransferred
?T ?O2))
Merge.kif 11352-11357
如果
转移
是
转移
的
instance
和
objectTransferred
那个 转移
and
客体
和
那个 客体
2 在
那个 客体
的
内
,
然后
objectTransferred
那个 转移
and
那个 客体
2
(=>
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?O)
(
orientation
?O2 ?O
On
))
(
objectTransferred
?T ?O2))
Merge.kif 11359-11364
如果
转移
是
转移
的
instance
和
objectTransferred
那个 转移
and
客体
和
那个 客体
2 在
那个 客体
的
上
,
然后
objectTransferred
那个 转移
and
那个 客体
2
(=>
(
and
(
instance
?V
Vending
)
(
objectTransferred
?V ?O)
(
not
(
instance
?O
Currency
)))
(
modalAttribute
(
or
(
instance
?O
(
FoodForFn
Human
))
(
instance
?O
Beverage
))
Likely
))
Mid-level-ontology.kif 1986-1995
如果
转移
是
Vending
的
instance
和
objectTransferred
那个 转移
and
客体
和
那个 客体
不 是
货币
的
instance
,
然后
那个 客体
是
food
for
人类
的
instance
或
那个 客体
是
饮料
的
instance
的声明 has
容易
的语气
(=>
(
and
(
instance
?VCS
VentedChestSeal
)
(
instance
?A
Attaching
)
(
objectTransferred
?A ?VCS)
(
destination
?A ?H))
(
hasPurpose
?VCS
(
exists
(?A ?L ?C ?H)
(
and
(
instance
?A
Air
)
(
instance
?L
Lung
)
(
instance
?C
Chest
)
(
part
?L ?H)
(
part
?C ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?A))
(
between
?L ?A ?C))
(
hasPurpose
?VCS
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?A))
(
orientation
?A ?H
Outside
)))))))
Medicine.kif 853-875
如果
客体
是
VentedChestSeal
的
instance
和
转移
是
连接
的
instance
和
objectTransferred
那个 转移
and
那个 客体
和
那个 转移
在
实体
结束,
然后
那个 客体
的 目的 是 有存在
那个 转移
,
另一个 实体
,, ,
第三 实体
, and 和
那个 实体
这样
那个 转移
是
空气
的
instance
和
那个 另外 实体
是
肺
的
instance
和
那个 第三 实体
是
Chest
的
instance
和
那个 另外 实体
是
那个 实体
的
part
和
那个 第三 实体
是
那个 实体
的
part
和
那个 转移
是在
那个 另外 实体
和
那个 第三 实体
between
在 紧接
那个 转移
出现 的
time
before
holdsDuring
和
那个 客体
的 目的 是
那个 转移
在
那个 实体
的
外
在 紧接
那个 转移
出现 的
time
after
holdsDuring
(=>
(
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
(=>
(
objectTransferred
?P ?OBJ)
(
exists
(?O ?D)
(
and
(
origin
?P ?O)
(
destination
?P ?D)
(
holdsDuring
(
ImmediatePastFn
?P)
(
located
?OBJ ?O))
(
holdsDuring
(
ImmediateFutureFn
?P)
(
located
?OBJ ?D)))))
Merge.kif 11339-11350
如果
objectTransferred
转移
and
客体
,
然后 有存在
另一个 客体
和
实体
这样
那个 另外 客体
是
那个 转移
的源头 和
那个 转移
在
那个 实体
结束 和
那个 客体
是
located
在
那个 另外 客体
在 紧接
那个 转移
before
holdsDuring
和
那个 客体
是
located
在
那个 实体
在 紧接
那个 转移
after
holdsDuring
consequent
(=>
(
and
(
instance
?ANI
Animal
)
(
instance
?D
DiseaseOrSyndrome
)
(
not
(
attribute
?ANI ?D)))
(
exists
(?P ?W)
(
and
(
instance
?P
BiologicalProcess
)
(
instance
?P
Removing
)
(
origin
?P ?ANI)
(
instance
?W
Sewage
)
(
agent
?P ?ANI)
(
objectTransferred
?P ?W))))
Mid-level-ontology.kif 2162-2175
如果
施事体
是
动物
的
instance
和
属性
是
疾病或综合症
的
instance
和
那个 属性
不 是
那个 施事体
的
attribute
,
然后 有存在
转移
和
客体
这样
那个 转移
是
生物过程
的
instance
和
那个 转移
是
移除
的
instance
和
那个 施事体
是
那个 转移
的源头 和
那个 客体
是
污水
的
instance
和
那个 施事体
是
那个 转移
的
agent
和
objectTransferred
那个 转移
and
那个 客体
(=>
(
and
(
instance
?AS
AutomobileShock
)
(
instance
?C
Compressing
)
(
instance
?H
HoleRegion
)
(
attribute
?F
Fluid
)
(
equal
?AS
(
HoleHostFn
?H))
(
contains
?AS ?F)
(
patient
?C ?AS))
(
exists
(?T)
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?F)
(
path
?T ?H)
(
causes
?C ?T))))
Cars.kif 871-885
如果
自身连接物体
是
AutomobileShock
的
instance
和
过程
是
Compressing
的
instance
和
洞
是
洞
的
instance
和
流体
是
客体
的
attribute
和
那个 自身连接物体
equal
洞
那个 洞
的主体 和
那个 自身连接物体
contains
那个 客体
和
那个 自身连接物体
是
那个 过程
的
patient
,
然后 有存在
转移
这样
那个 转移
是
转移
的
instance
和
objectTransferred
那个 转移
and
那个 客体
和
那个 洞
%n是
那个 转移
发生的
path
和
那个 过程
causes
那个 转移
(=>
(
and
(
instance
?BI
BreakthroughInfection
)
(
objectTransferred
?BI ?V)
(
instance
?V ?VC)
(
experiencer
?BI ?H))
(
exists
(?VAX)
(
and
(
instance
?VAX
Vaccination
)
(
experiencer
?VAX ?H)
(
vaccine
?VACCINECLASS ?VC)
(
instance
?VACCINE ?VACCINECLASS)
(
objectTransferred
?VAX ?VACCINE)
(
earlier
(
WhenFn
?VAX)
(
WhenFn
?BI)))))
Medicine.kif 3179-3194
如果
转移
是
BreakthroughInfection
的
instance
和
objectTransferred
那个 转移
and
客体
和
那个 客体
是
那个 客体
C 的
instance
和
施事体
经历了
那个 转移
,
然后 有存在
那个 客体
AX 这样
那个 客体
AX 是
Vaccination
的
instance
和
那个 施事体
经历了
那个 客体
AX 和
vaccine
那个 客体
ACCINECLASS and
那个 客体
C 和
那个 客体
ACCINE 是
那个 客体
ACCINECLASS 的
instance
和
objectTransferred
那个 客体
AX and
那个 客体
ACCINE 和
那个 客体
AX 出现 的
time
比
那个 转移
出现 的
time
发生的
earlier
(=>
(
and
(
instance
?C
Coughing
)
(
experiencer
?C ?H))
(
hasPurpose
?C
(
exists
(?R ?L ?O ?T)
(
and
(
instance
?L
Lung
)
(
instance
?T
Throat
)
(
instance
?O
Object
)
(
instance
?R
Removing
)
(
part
?L ?H)
(
part
?T ?H)
(
objectTransferred
?R ?O)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
or
(
located
?O ?T)
(
located
?O ?L)))))))
Mid-level-ontology.kif 6056-6075
如果
过程
是
Coughing
的
instance
和
施事体
经历了
那个 过程
,
然后
那个 过程
的 目的 是 有存在
实体
,
另一个 实体
,, ,
第三 实体
, and 和
第四 实体
这样
那个 另外 实体
是
肺
的
instance
和
那个 第四 实体
是
喉
的
instance
和
那个 第三 实体
是
客体
的
instance
和
那个 实体
是
移除
的
instance
和
那个 另外 实体
是
那个 施事体
的
part
和
那个 第四 实体
是
那个 施事体
的
part
和
objectTransferred
那个 实体
and
那个 第三 实体
和
那个 第三 实体
是
located
在
那个 第四 实体
或
那个 第三 实体
是
located
在
那个 另外 实体
在 紧接
那个 过程
出现 的
time
before
holdsDuring
(=>
(
and
(
instance
?C
Crying
)
(
experiencer
?C ?H))
(
exists
(?T ?E)
(
and
(
instance
?T
TearSubstance
)
(
origin
?C ?E)
(
objectTransferred
?C ?T)
(
instance
?E
Eye
)
(
part
?E ?H))))
emotion.kif 1129-1139
如果
转移
是
Crying
的
instance
和
施事体
经历了
那个 转移
,
然后 有存在
客体
和
另一个 客体
这样
那个 客体
是
泪液
的
instance
和
那个 另外 客体
是
那个 转移
的源头 和
objectTransferred
那个 转移
and
那个 客体
和
那个 另外 客体
是
眼睛
的
instance
和
那个 另外 客体
是
那个 施事体
的
part
(=>
(
and
(
instance
?C
Sneezing
)
(
experiencer
?C ?H))
(
hasPurpose
?C
(
exists
(?R ?N ?NOSE ?O)
(
and
(
instance
?N
NasalCavity
)
(
instance
?NOSE
Nose
)
(
equal
?NOSE
(
HoleHostFn
?N))
(
instance
?O
Object
)
(
instance
?R
Removing
)
(
part
?NOSE ?H)
(
objectTransferred
?R ?O)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
located
?O ?N))))))
Mid-level-ontology.kif 6122-6140
如果
过程
是
Sneezing
的
instance
和
施事体
经历了
那个 过程
,
然后
那个 过程
的 目的 是 有存在
实体
,
另一个 实体
,, ,
那个 另外 实体
OSE, and 和
第四 实体
这样
那个 另外 实体
是
NasalCavity
的
instance
和
那个 另外 实体
OSE 是
鼻子
的
instance
和
那个 另外 实体
OSE
equal
洞
那个 另外 实体
的主体 和
那个 第四 实体
是
客体
的
instance
和
那个 实体
是
移除
的
instance
和
那个 另外 实体
OSE 是
那个 施事体
的
part
和
objectTransferred
那个 实体
and
那个 第四 实体
和
那个 第四 实体
是
located
在
那个 另外 实体
在 紧接
那个 过程
出现 的
time
before
holdsDuring
(=>
(
and
(
instance
?DUSTSTORM
DustStorm
)
(
instance
?WIND
Wind
)
(
subProcess
?DUSTSTORM ?WIND))
(
exists
(?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG)
(
and
(
instance
?A1
LandArea
)
(
eventLocated
?WIND ?A1)
(
surfaceWindSpeed
?A1
(
MeasureFn
?STRONG
KnotUnitOfSpeed
))
(
greaterThan
?STRONG 30.0)
(
instance
?TRANSLOCATE
Translocation
)
(
subProcess
?TRANSLOCATE ?DUSTSTORM)
(
objectTransferred
?TRANSLOCATE ?PM)
(
objectTransferred
?TRANSLOCATE ?SAND)
(
instance
?PM
ParticulateMatter
)
(
instance
?SAND
Sand
)
(
instance
?A2
LandArea
)
(
destination
?TRANSLOCATE ?A2)
(
not
(
overlapsSpatially
?A1 ?A2)))))
Weather.kif 1275-1296
如果
过程
是
尘暴
的
instance
和
另一个 过程
是
风
的
instance
和
那个 过程
%n是
那个 另外 过程
的
subProcess
,
然后 有存在
转移
,
客体
,, ,
另一个 客体
,, ,
第三 客体
,, ,
第四 客体
, and 和
实数
这样
那个 第三 客体
是
土地面积
的
instance
和
那个 另外 过程
是
located
在
那个 第三 客体
和
那个 实数
结速度单位
是
那个 第三 客体
的
surface
风速 和
那个 实数
是
greaterThan
30.0 和
那个 转移
是
易位
的
instance
和
那个 转移
%n是
那个 过程
的
subProcess
和
objectTransferred
那个 转移
and
那个 客体
和
objectTransferred
那个 转移
and
那个 另外 客体
和
那个 客体
是
悬浮颗粒
的
instance
和
那个 另外 客体
是
砂
的
instance
和
那个 第四 客体
是
土地面积
的
instance
和
那个 转移
在
那个 第四 客体
结束 和
那个 第三 客体
和
那个 第四 客体
不 重叠
(=>
(
and
(
instance
?HA
HeartAttack
)
(
instance
?H
Heart
)
(
located
?HA ?H))
(
exists
(?M)
(
and
(
instance
?M
Muscle
)
(
part
?M ?H)
(
not
(
exists
(?BF ?B)
(
and
(
instance
?BF
LiquidMotion
)
(
objectTransferred
?BF ?B)
(
instance
?B
Blood
)
(
during
?BF
(
WhenFn
?HA))
(
destination
?BF ?M)))))))
Mid-level-ontology.kif 11368-11385
如果
物理
是
HeartAttack
的
instance
和
客体
是
心
的
instance
和
那个 物理
是
located
在
那个 客体
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
肌肉
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和 不存在
时距
和
第三 客体
这样
那个 时距
是
液体运动
的
instance
和
objectTransferred
那个 时距
and
那个 第三 客体
和
那个 第三 客体
是
血液
的
instance
和
那个 时距
在
那个 物理
出现 的
time
时段内发生 和
那个 时距
在
那个 另外 客体
结束
(=>
(
and
(
instance
?HA
Stroke
)
(
instance
?H
Brain
)
(
located
?HA ?H))
(
exists
(?M)
(
and
(
instance
?M
NerveCell
)
(
part
?M ?H)
(
not
(
exists
(?BF ?B)
(
and
(
instance
?BF
LiquidMotion
)
(
objectTransferred
?BF ?B)
(
instance
?B
Blood
)
(
during
?BF
(
WhenFn
?HA))
(
destination
?BF ?M)))))))
Mid-level-ontology.kif 11915-11932
如果
物理
是
Stroke
的
instance
和
客体
是
脑
的
instance
和
那个 物理
是
located
在
那个 客体
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
神经细胞
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和 不存在
时距
和
第三 客体
这样
那个 时距
是
液体运动
的
instance
和
objectTransferred
那个 时距
and
那个 第三 客体
和
那个 第三 客体
是
血液
的
instance
和
那个 时距
在
那个 物理
出现 的
time
时段内发生 和
那个 时距
在
那个 另外 客体
结束
(=>
(
and
(
instance
?LECS
AirEngineCoolingSystem
)
(
instance
?C
Cooling
)
(
instrument
?C ?LECS))
(
exists
(?A)
(
and
(
instance
?A
Air
)
(
objectTransferred
?C ?A))))
Cars.kif 2182-2190
如果
客体
是
AirEngineCoolingSystem
的
instance
和
转移
是
冷却
的
instance
和
那个 客体
是导致
那个 转移
的
instrument
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
空气
的
instance
和
objectTransferred
那个 转移
and
那个 另外 客体
(=>
(
and
(
instance
?LECS
LiquidEngineCoolingSystem
)
(
instance
?C
Cooling
)
(
instrument
?C ?LECS))
(
exists
(?L)
(
and
(
attribute
?L
Liquid
)
(
objectTransferred
?C ?L))))
Cars.kif 2166-2174
如果
客体
是
LiquidEngineCoolingSystem
的
instance
和
转移
是
冷却
的
instance
和
那个 客体
是导致
那个 转移
的
instrument
,
然后 有存在
另一个 客体
这样
液体
是
那个 另外 客体
的
attribute
和
objectTransferred
那个 转移
and
那个 另外 客体
(=>
(
and
(
instance
?M
MoveToEvac
)
(
objectTransferred
?M ?P))
(
hasPurpose
?M
(
exists
(?E)
(
and
(
instance
?E
Evacuation
)
(
objectTransferred
?E ?P)
(
earlier
(
WhenFn
?M)
(
WhenFn
?E))))))
Medicine.kif 6532-6543
如果
转移
是
MoveToEvac
的
instance
和
objectTransferred
那个 转移
and
客体
,
然后
那个 转移
的 目的 是 有存在
实体
这样
那个 实体
是
疏散
的
instance
和
objectTransferred
那个 实体
and
那个 客体
和
那个 转移
出现 的
time
比
那个 实体
出现 的
time
发生的
earlier
(=>
(
and
(
instance
?P
Prescription
)
(
instance
?M
Medicine
)
(
refers
?P ?M))
(
exists
(?PHARM ?S)
(
and
(
instance
?S
Selling
)
(
objectTransferred
?S ?M)
(
agent
?S ?PHARM)
(
attribute
?S
Pharmacist
))))
Mid-level-ontology.kif 9278-9288
如果
实体
是
Prescription
的
instance
和
客体
是
医学
的
instance
和
那个 实体
提到
那个 客体
,
然后 有存在
那个 实体
HARM 和
转移
这样
那个 转移
是
出售
的
instance
和
objectTransferred
那个 转移
and
那个 客体
和
那个 实体
HARM 是
那个 转移
的
agent
和
药剂师
是
那个 转移
的
attribute
(=>
(
and
(
instance
?S
Speaking
)
(
instance
?J
Jaw
)
(
agent
?S ?H)
(
part
?J ?H))
(
modalAttribute
(
exists
(?M)
(
and
(
instance
?M
BodyMotion
)
(
objectTransferred
?M ?J)
(
during
(
WhenFn
?M)
(
WhenFn
?S))))
Likely
))
Anatomy.kif 1664-1676
如果
过程
是
说话
的
instance
和
客体
是
Jaw
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 客体
是
那个 施事体
的
part
,
然后 有存在
实体
这样
那个 实体
是
身体运动
的
instance
和
objectTransferred
那个 实体
and
那个 客体
和
那个 实体
出现 的
time
在
那个 过程
出现 的
time
时段内发生 的声明 has
容易
的语气
(=>
(
and
(
instance
?S
Swallowing
)
(
agent
?S ?H))
(
exists
(?M ?E ?ST ?O)
(
and
(
instance
?M
Mouth
)
(
instance
?E
Esophagus
)
(
instance
?ST
Stomach
)
(
objectTransferred
?S ?O)
(
origin
?S ?M)
(
destination
?S ?ST)
(
path
?S ?E))))
Mid-level-ontology.kif 6595-6607
如果
转移
是
Swallowing
的
instance
和
施事体
是
那个 转移
的
agent
,
然后 有存在
客体
,
另一个 客体
,, ,
那个 转移
T, and 和
第三 客体
这样
那个 客体
是
口
的
instance
和
那个 另外 客体
是
Esophagus
的
instance
和
那个 转移
T 是
胃
的
instance
和
objectTransferred
那个 转移
and
那个 第三 客体
和
那个 客体
是
那个 转移
的源头 和
那个 转移
在
那个 转移
T 结束 和
那个 另外 客体
%n是
那个 转移
发生的
path
(=>
(
and
(
instance
?SPIT
Drooling
)
(
experiencer
?SPIT ?ANIMAL))
(
exists
(?MOUTH ?S)
(
and
(
instance
?MOUTH
Mouth
)
(
objectTransferred
?SPIT ?S)
(
instance
?S
Saliva
)
(
part
?MOUTH ?ANIMAL)
(
origin
?SPIT ?MOUTH))))
Mid-level-ontology.kif 6567-6577
如果
转移
是
Drooling
的
instance
和
施事体
经历了
那个 转移
,
然后 有存在
客体
和
另一个 客体
这样
那个 客体
是
口
的
instance
和
objectTransferred
那个 转移
and
那个 另外 客体
和
那个 另外 客体
是
Saliva
的
instance
和
那个 客体
是
那个 施事体
的
part
和
那个 客体
是
那个 转移
的源头
(=>
(
and
(
instance
?SU
SoftwareUpgrading
)
(
patient
?SU ?C)
(
instance
?C
Computer
))
(
exists
(?P)
(
and
(
objectTransferred
?SU ?P)
(
instance
?P
ComputerProgram
)
(
holdsDuring
(
BeginFn
(
WhenFn
?SU)
(
softwareVersion
?P
PreviousVersion
)))
(
holdsDuring
(
EndFn
(
WhenFn
?SU)
(
softwareVersion
?P
CurrentVersion
))))))
ComputingBrands.kif 3826-3840
如果
转移
是
软体更新
的
instance
和
实体
是
那个 转移
的
patient
和
那个 实体
是
电脑
的
instance
,
然后 有存在
客体
这样
objectTransferred
那个 转移
and
那个 客体
和
那个 客体
是
电脑程序
的
instance
和 在
那个 转移
出现 的
time
的开始
holdsDuring
和 在
那个 转移
出现 的
time
的结束
holdsDuring
(=>
(
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
Transfer
)
(
objectTransferred
?T ?O)
(
orientation
?O2 ?O
Inside
))
(
objectTransferred
?T ?O2))
Merge.kif 11352-11357
如果
转移
是
转移
的
instance
和
objectTransferred
那个 转移
and
客体
和
那个 客体
2 在
那个 客体
的
内
,
然后
objectTransferred
那个 转移
and
那个 客体
2
(=>
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?O)
(
orientation
?O2 ?O
On
))
(
objectTransferred
?T ?O2))
Merge.kif 11359-11364
如果
转移
是
转移
的
instance
和
objectTransferred
那个 转移
and
客体
和
那个 客体
2 在
那个 客体
的
上
,
然后
objectTransferred
那个 转移
and
那个 客体
2
(=>
(
and
(
property
?X
Booting
)
(
instance
?X
Computer
))
(
exists
(?CD ?OS ?DT)
(
and
(
instance
?CD
DigitalData
)
(
instance
?OS
OperatingSystem
)
(
instance
?DT
DataTransfer
)
(
during
(
WhenFn
?DT)
(
WhenFn
?X))
(
destination
?DT ?X)
(
part
?CD ?OS)
(
objectTransferred
?DT ?CD))))
ComputingBrands.kif 3217-3229
如果
物理
有
啟動中
的
attribute
和
那个 物理
是
电脑
的
instance
,
然后 有存在
客体
,
另一个 客体
, and 和
转移
这样
那个 客体
是
数字数据
的
instance
和
那个 另外 客体
是
操作系统
的
instance
和
那个 转移
是
数据传输
的
instance
和
那个 转移
出现 的
time
在
那个 物理
出现 的
time
时段内发生 和
那个 转移
在
那个 物理
结束 和
那个 客体
是
那个 另外 客体
的
part
和
objectTransferred
那个 转移
and
那个 客体
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
Integer
))
(
desires
?A
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G
Collection
)
(
memberType
?G ?O)
(
memberCount
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30956-30971
如果
shortage
有认知的主事
,
有点 客体
,
货币测量
,
时距
and
数量
和
那个 数量
是
整数
的
instance
,
然后
那个 有认知的主事
desires
有存在
实体
和
另一个 实体
这样
那个 实体
是
购买
的
instance
和
那个 实体
出现 的
time
在
那个 时距
时段内发生 和
objectTransferred
那个 实体
and
那个 另外 实体
和
那个 货币测量
是
那个 实体
的
transaction
总额 和
那个 有认知的主事
是
那个 实体
的
agent
和
那个 另外 实体
是
群体
的
instance
和
有点 客体
是
那个 另外 实体
的
member
类别 和
那个 数量
是
那个 另外 实体
的
member
计数 和
那个 有认知的主事
possesses
那个 另外 实体
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
Integer
))
(
not
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G
Collection
)
(
memberType
?G ?O)
(
memberCount
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30923-30938
如果
shortage
施事体
,
有点 客体
,
货币测量
,
时距
and
整数
和
那个 整数
是
整数
的
instance
,
然后 不存在
转移
和
群体
这样
那个 转移
是
购买
的
instance
和
那个 转移
出现 的
time
在
那个 时距
时段内发生 和
objectTransferred
那个 转移
and
那个 群体
和
那个 货币测量
是
那个 转移
的
transaction
总额 和
那个 施事体
是
那个 转移
的
agent
和
那个 群体
是
群体
的
instance
和
有点 客体
是
那个 群体
的
member
类别 和
那个 整数
是
那个 群体
的
member
计数 和
那个 施事体
possesses
那个 群体
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
PhysicalQuantity
))
(
desires
?A
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G ?O)
(
measure
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30973-30987
如果
shortage
有认知的主事
,
有点 客体
,
货币测量
,
时距
and
数量
和
那个 数量
是
物理量
的
instance
,
然后
那个 有认知的主事
desires
有存在
实体
和
另一个 实体
这样
那个 实体
是
购买
的
instance
和
那个 实体
出现 的
time
在
那个 时距
时段内发生 和
objectTransferred
那个 实体
and
那个 另外 实体
和
那个 货币测量
是
那个 实体
的
transaction
总额 和
那个 有认知的主事
是
那个 实体
的
agent
和
那个 另外 实体
是
有点 客体
的
instance
和
那个 另外 实体
的
measure
是
那个 数量
和
那个 有认知的主事
possesses
那个 另外 实体
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
PhysicalQuantity
))
(
not
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G ?O)
(
measure
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30940-30954
如果
shortage
施事体
,
有点 客体
,
货币测量
,
时距
and
物理量
和
那个 物理量
是
物理量
的
instance
,
然后 不存在
转移
和
另一个 客体
这样
那个 转移
是
购买
的
instance
和
那个 转移
出现 的
time
在
那个 时距
时段内发生 和
objectTransferred
那个 转移
and
那个 另外 客体
和
那个 货币测量
是
那个 转移
的
transaction
总额 和
那个 施事体
是
那个 转移
的
agent
和
那个 另外 客体
是
有点 客体
的
instance
和
那个 另外 客体
的
measure
是
那个 物理量
和
那个 施事体
possesses
那个 另外 客体
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
hasPurpose
IBookstore
(
exists
(?D)
(
and
(
instance
?D
DownloadingOverNetwork
)
(
instrument
?D
IBookstore
)
(
instance
?T
Text
)
(
objectTransferred
?D ?T))))
ComputingBrands.kif 3309-3315
IBookstore
的 目的 是 有存在 ?D 这样 ?D 是
下載
的
instance
和
iBookstore
是导致 ?D 的
instrument
和 ?T 是
文本
的
instance
和
objectTransferred
?D and ?T
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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