experiencer
(=>
(
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
?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
Injuring
)
(
experiencer
?I ?A))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
attribute
?A
Injury
)))
Medicine.kif 104-111
如果
过程
是
受伤
的
instance
和
施事体
经历了
那个 过程
,
然后
Injury
是
那个 施事体
的
attribute
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
and
(
instance
?I
Insomnia
)
(
experiencer
?I ?H))
(
exists
(?S ?D ?D2)
(
and
(
instance
?S
Sleeping
)
(
experiencer
?S ?H)
(
duration
(
WhenFn
?S) ?D)
(
desires
?H
(
and
(
duration
(
WhenFn
?S) ?D2)
(
greaterThan
?D2 ?D))))))
Mid-level-ontology.kif 16447-16459
如果
过程
是
Insomnia
的
instance
和
有认知的主事
经历了
那个 过程
,
然后 有存在
另一个 过程
,
持续时间
, and 和
那个 持续时间
2 这样
那个 另外 过程
是
Sleeping
的
instance
和
那个 有认知的主事
经历了
那个 另外 过程
和
那个 另外 过程
出现 的
time
的
duration
是
那个 持续时间
和
那个 有认知的主事
desires
那个 另外 过程
出现 的
time
的
duration
是
那个 持续时间
2 和
那个 持续时间
2 是
greaterThan
那个 持续时间
(=>
(
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
?I
Itching
)
(
located
?I ?P)
(
part
?P ?H)
(
experiencer
?I ?H))
(
desires
?H
(
exists
(?S)
(
and
(
instance
?S
Scratching
)
(
during
(
WhenFn
?S)
(
WhenFn
?I))
(
located
?S ?P)))))
Mid-level-ontology.kif 5725-5736
如果
过程
是
Itching
的
instance
和
那个 过程
是
located
在
客体
和
那个 客体
是
有认知的主事
的
part
和
那个 有认知的主事
经历了
那个 过程
,
然后
那个 有认知的主事
desires
有存在
实体
这样
那个 实体
是
Scratching
的
instance
和
那个 实体
出现 的
time
在
那个 过程
出现 的
time
时段内发生 和
那个 实体
是
located
在
那个 客体
(=>
(
and
(
instance
?IBD
AddisonsDisease
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
AdrenalGland
)))
Medicine.kif 2316-2321
如果
过程
是
AddisonsDisease
的
instance
和
施事体
经历了
那个 过程
,
然后
ImpairedBodyPartFn
AdrenalGland
是
那个 施事体
的
attribute
(=>
(
and
(
instance
?IBD
GravesDisease
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
ThyroidGland
)))
Medicine.kif 2329-2334
如果
过程
是
GravesDisease
的
instance
和
施事体
经历了
那个 过程
,
然后
ImpairedBodyPartFn
甲状腺
是
那个 施事体
的
attribute
(=>
(
and
(
instance
?IBD
GravesDisease
)
(
experiencer
?IBD ?H1)
(
instance
?H1
Human
)
(
instance
?T1
ThyroidHormone
)
(
part
?T1 ?H1)
(
measure
?T1
(
MeasureFn
?N1 ?U))
(
instance
?H2
Human
)
(
instance
?T2
ThyroidHormone
)
(
part
?T2 ?H2)
(
measure
?T2
(
MeasureFn
?N2 ?U))
(
attribute
?H2
Healthy
))
(
greaterThan
?N1 ?N2))
Medicine.kif 2336-2351
如果
过程
是
GravesDisease
的
instance
和
施事体
经历了
那个 过程
和
那个 施事体
是
人类
的
instance
和
客体
是
甲状腺激素
的
instance
和
那个 客体
是
那个 施事体
的
part
和
那个 客体
的
measure
是
实数
测量单位
和
另一个 客体
是
人类
的
instance
和
第三 客体
是
甲状腺激素
的
instance
和
那个 第三 客体
是
那个 另外 客体
的
part
和
那个 第三 客体
的
measure
是
另一个 实数
那个 测量单位
和
Healthy
是
那个 另外 客体
的
attribute
,
然后
那个 实数
是
greaterThan
那个 另外 实数
(=>
(
and
(
instance
?IBD
HashimotosThyroiditis
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
ThyroidGland
)))
Medicine.kif 2375-2380
如果
过程
是
HashimotosThyroiditis
的
instance
和
施事体
经历了
那个 过程
,
然后
ImpairedBodyPartFn
甲状腺
是
那个 施事体
的
attribute
(=>
(
and
(
instance
?IBD
HashimotosThyroiditis
)
(
experiencer
?IBD ?H1)
(
instance
?H1
Human
)
(
instance
?T1
ThyroidHormone
)
(
part
?T1 ?H1)
(
measure
?T1
(
MeasureFn
?N1 ?U))
(
instance
?H2
Human
)
(
instance
?T2
ThyroidHormone
)
(
part
?T2 ?H2)
(
measure
?T2
(
MeasureFn
?N2 ?U))
(
attribute
?H2
Healthy
))
(
greaterThan
?N2 ?N1))
Medicine.kif 2382-2397
如果
过程
是
HashimotosThyroiditis
的
instance
和
施事体
经历了
那个 过程
和
那个 施事体
是
人类
的
instance
和
客体
是
甲状腺激素
的
instance
和
那个 客体
是
那个 施事体
的
part
和
那个 客体
的
measure
是
实数
测量单位
和
另一个 客体
是
人类
的
instance
和
第三 客体
是
甲状腺激素
的
instance
和
那个 第三 客体
是
那个 另外 客体
的
part
和
那个 第三 客体
的
measure
是
另一个 实数
那个 测量单位
和
Healthy
是
那个 另外 客体
的
attribute
,
然后
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
instance
?IBD
InflammatoryBowelDisease
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
GastroIntestinalTract
)))
Medicine.kif 2282-2287
如果
过程
是
InflammatoryBowelDisease
的
instance
和
施事体
经历了
那个 过程
,
然后
ImpairedBodyPartFn
GastroIntestinalTract
是
那个 施事体
的
attribute
(=>
(
and
(
instance
?IBD
UlcerativeColitis
)
(
experiencer
?IBD ?H))
(
or
(
attribute
?H
(
ImpairedBodyPartFn
LargeIntestine
))
(
attribute
?H
(
ImpairedBodyPartFn
Rectum
))))
Medicine.kif 2301-2309
如果
过程
是
UlcerativeColitis
的
instance
和
施事体
经历了
那个 过程
,
然后
ImpairedBodyPartFn
LargeIntestine
是
那个 施事体
的
attribute
或
ImpairedBodyPartFn
Rectum
是
那个 施事体
的
attribute
(=>
(
and
(
instance
?IV
InvasiveVentilator
)
(
instance
?B
Breathing
)
(
experiencer
?B ?H)
(
instrument
?B ?IV))
(
exists
(?IN)
(
and
(
instance
?IN
Intubation
)
(
destination
?IN ?H)
(
earlier
(
WhenFn
?IN)
(
WhenFn
?B)))))
Medicine.kif 4105-4117
如果
客体
是
InvasiveVentilator
的
instance
和
过程
是
呼吸
的
instance
和
施事体
经历了
那个 过程
和
那个 客体
是导致
那个 过程
的
instrument
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
Intubation
的
instance
和
那个 另外 过程
在
那个 施事体
结束 和
那个 另外 过程
出现 的
time
比
那个 过程
出现 的
time
发生的
earlier
(=>
(
and
(
instance
?L
LayingEggs
)
(
experiencer
?L ?A))
(
and
(
instance
?A
Animal
)
(
attribute
?A
Female
)))
Mid-level-ontology.kif 24131-24137
如果
过程
是
下蛋
的
instance
和
施事体
经历了
那个 过程
,
然后
那个 施事体
是
动物
的
instance
和
女
是
那个 施事体
的
attribute
(=>
(
and
(
instance
?L
LayingEggs
)
(
experiencer
?L ?A))
(
exists
(?E)
(
and
(
instance
?E
Egg
)
(
patient
?L ?E)
(
holdsDuring
(
BeginFn
(
WhenFn
?L))
(
part
?E ?A))
(
holdsDuring
(
EndFn
(
WhenFn
?L))
(
not
(
part
?E ?A))))))
Mid-level-ontology.kif 24116-24129
如果
过程
是
下蛋
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
实体
这样
那个 实体
是
蛋
的
instance
和
那个 实体
是
那个 过程
的
patient
和
那个 实体
是
那个 施事体
的
part
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 实体
不 是
那个 施事体
的
part
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?L
LosingConsciousness
)
(
experiencer
?L ?A))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?L))
(
attribute
?A
Awake
))
(
holdsDuring
(
EndFn
(
WhenFn
?L))
(
attribute
?A
Unconscious
))))
Mid-level-ontology.kif 16484-16494
如果
过程
是
失去意识
的
instance
和
施事体
经历了
那个 过程
,
然后
觉醒
是
那个 施事体
的
attribute
在
那个 过程
出现 的
time
的开始
holdsDuring
和
无意识
是
那个 施事体
的
attribute
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?L
Lupus
)
(
experiencer
?L ?H))
(
modalAttribute
(
exists
(?SR)
(
and
(
instance
?SR
SkinRash
)
(
experiencer
?SR ?H)))
Likely
))
Medicine.kif 2265-2274
如果
过程
是
Lupus
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
实体
这样
那个 实体
是
SkinRash
的
instance
和
那个 施事体
经历了
那个 实体
的声明 has
容易
的语气
(=>
(
and
(
instance
?M
Menstruation
)
(
experiencer
?M ?F))
(
and
(
attribute
?F
Female
)
(
not
(
attribute
?F
Menopausal
))))
Mid-level-ontology.kif 23880-23887
如果
过程
是
经期
的
instance
和
施事体
经历了
那个 过程
,
然后
女
是
那个 施事体
的
attribute
和
Menopausal
不 是
那个 施事体
的
attribute
(=>
(
and
(
instance
?MR
MusclesRelaxing
)
(
experiencer
?MR ?A))
(
not
(
exists
(?MT)
(
and
(
overlapsTemporally
?MT ?MR)
(
instance
?MT
MusclesBecomingTense
)
(
experiencer
?MT ?A)))))
emotion.kif 1464-1473
如果
时距
是
MusclesRelaxing
的
instance
和
施事体
经历了
那个 时距
,
然后 不存在
另一个 时距
这样
那个 时距
时段 和
那个 另外 时距
重叠 和
那个 另外 时距
是
MusclesBecomingTense
的
instance
和
那个 施事体
经历了
那个 另外 时距
(=>
(
and
(
instance
?MS
MultipleSclerosis
)
(
experiencer
?MS ?H))
(
attribute
?H
(
ImpairedBodyPartFn
NervousSystem
)))
Medicine.kif 2251-2256
如果
过程
是
MultipleSclerosis
的
instance
和
施事体
经历了
那个 过程
,
然后
ImpairedBodyPartFn
神经系统
是
那个 施事体
的
attribute
(=>
(
and
(
instance
?MT
MusclesBecomingTense
)
(
experiencer
?MT ?A))
(
not
(
exists
(?MR)
(
and
(
overlapsTemporally
?MR ?MT)
(
instance
?MR
MusclesRelaxing
)
(
experiencer
?MR ?A)))))
emotion.kif 1450-1459
如果
时距
是
MusclesBecomingTense
的
instance
和
施事体
经历了
那个 时距
,
然后 不存在
另一个 时距
这样
那个 时距
时段 和
那个 另外 时距
重叠 和
那个 另外 时距
是
MusclesRelaxing
的
instance
和
那个 施事体
经历了
那个 另外 时距
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