experiencer
(=>
(
and
(
instance
?S
SkinRash
)
(
experiencer
?S ?H))
(
modalAttribute
(
exists
(?I)
(
and
(
instance
?I
Itching
)
(
experiencer
?I ?H)
(
during
(
WhenFn
?I)
(
WhenFn
?S))))
Likely
))
Mid-level-ontology.kif 5748-5758
如果
过程
是
SkinRash
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
实体
这样
那个 实体
是
Itching
的
instance
和
那个 施事体
经历了
那个 实体
和
那个 实体
出现 的
time
在
那个 过程
出现 的
time
时段内发生 的声明 has
容易
的语气
(=>
(
and
(
instance
?S
Smiling
)
(
experiencer
?S ?A))
(
modalAttribute
(
holdsDuring
(
WhenFn
?S)
(
attribute
?A
Happiness
))
Likely
))
emotion.kif 1614-1622
如果
过程
是
微笑
的
instance
和
施事体
经历了
那个 过程
,
然后
幸福
是
那个 施事体
的
attribute
在
那个 过程
出现 的
time
holdsDuring
的声明 has
容易
的语气
(=>
(
and
(
instance
?S
Sunburn
)
(
experiencer
?S ?H))
(
exists
(?D ?SKIN)
(
and
(
instance
?D
Damaging
)
(
instrument
?D
Sol
)
(
instance
?SKIN
Skin
)
(
part
?SKIN ?H)
(
patient
?D ?SKIN))))
Mid-level-ontology.kif 11004-11014
如果
过程
是
Sunburn
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
另一个 过程
和
那个 过程
KIN 这样
那个 另外 过程
是
损坏
的
instance
和
太阳
是导致
那个 另外 过程
的
instrument
和
那个 过程
KIN 是
皮肤
的
instance
和
那个 过程
KIN 是
那个 施事体
的
part
和
那个 过程
KIN 是
那个 另外 过程
的
patient
(=>
(
and
(
instance
?S
Tanning
)
(
experiencer
?S ?H))
(
exists
(?D ?SKIN)
(
and
(
instance
?D
RadiatingUltraviolet
)
(
instrument
?D
Sol
)
(
instance
?SKIN
Skin
)
(
part
?SKIN ?H)
(
patient
?D ?SKIN))))
Mid-level-ontology.kif 11022-11032
如果
过程
是
Tanning
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
另一个 过程
和
那个 过程
KIN 这样
那个 另外 过程
是
辐射紫外线
的
instance
和
太阳
是导致
那个 另外 过程
的
instrument
和
那个 过程
KIN 是
皮肤
的
instance
和
那个 过程
KIN 是
那个 施事体
的
part
和
那个 过程
KIN 是
那个 另外 过程
的
patient
(=>
(
and
(
instance
?S
TonicClonicSeizure
)
(
experiencer
?S ?A))
(
holdsDuring
(
WhenFn
?S)
(
not
(
attribute
?A
Conscious
))))
Medicine.kif 1639-1646
如果
过程
是
TonicClonicSeizure
的
instance
和
施事体
经历了
那个 过程
,
然后
Conscious
不 是
那个 施事体
的
attribute
在
那个 过程
出现 的
time
holdsDuring
(=>
(
and
(
instance
?SHN
SupportHNAssistance
)
(
experiencer
?SHN ?HN)
(
instance
?HN
HostNation
))
(
exists
(?OP)
(
and
(
instance
?OP
MilitaryOperation
)
(
instance
?OP
Helping
)
(
experiencer
?OP ?HN)
(
patient
?SHN ?OP))))
MilitaryProcesses.kif 1293-1303
如果
过程
是
支持HW 协助
的
instance
和
施事体
经历了
那个 过程
和
那个 施事体
是
主办国
的
instance
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
军事行动
的
instance
和
那个 另外 过程
是
帮助
的
instance
和
那个 施事体
经历了
那个 另外 过程
和
那个 另外 过程
是
那个 过程
的
patient
(=>
(
and
(
instance
?SI
(
SenseImpairmentFn
?S))
(
experiencer
?SI ?A))
(
exists
(?A2)
(
and
(
not
(
equal
?A2 ?A))
(
capability
?S
experiencer
?A2)
(
not
(
capability
?S
experiencer
?A)))))
Merge.kif 13516-13526
如果
过程
是
SenseImpairmentFn
有点 感知
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
那个 施事体
2 这样
那个 施事体
2 不
equal
那个 施事体
和
那个 施事体
2 能够担当
经历者
的角色做
有点 感知
和
那个 施事体
不 能够担当
经历者
的角色做
那个 有点 感知
(=>
(
and
(
instance
?SI
(
SenseImpairmentFn
?S))
(
experiencer
?SI ?A))
(
not
(
capability
?S
experiencer
?A)))
Merge.kif 13536-13541
如果
过程
是
SenseImpairmentFn
有点 感知
的
instance
和
施事体
经历了
那个 过程
,
然后
那个 施事体
不 能够担当
经历者
的角色做
有点 感知
(=>
(
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 6566-6576
如果
转移
是
Drooling
的
instance
和
施事体
经历了
那个 转移
,
然后 有存在
客体
和
另一个 客体
这样
那个 客体
是
口
的
instance
和
objectTransferred
那个 转移
and
那个 另外 客体
和
那个 另外 客体
是
Saliva
的
instance
和
那个 客体
是
那个 施事体
的
part
和
那个 客体
是
那个 转移
的源头
(=>
(
and
(
instance
?SS
AutoimmuneVasculitis
)
(
experiencer
?SS ?H))
(
attribute
?H
(
ImpairedBodyPartFn
BloodVessel
)))
Medicine.kif 2418-2423
如果
过程
是
AutoimmuneVasculitis
的
instance
和
施事体
经历了
那个 过程
,
然后
ImpairedBodyPartFn
血管
是
那个 施事体
的
attribute
(=>
(
and
(
instance
?SS
AutoimmuneVasculitis
)
(
experiencer
?SS ?H))
(
exists
(?B ?I)
(
and
(
instance
?B
BloodVessel
)
(
part
?B ?H)
(
instance
?I
Inflammation
)
(
patient
?I ?B))))
Medicine.kif 2425-2434
如果
过程
是
AutoimmuneVasculitis
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
客体
和
另一个 过程
这样
那个 客体
是
血管
的
instance
和
那个 客体
是
那个 施事体
的
part
和
那个 另外 过程
是
Inflammation
的
instance
和
那个 客体
是
那个 另外 过程
的
patient
(=>
(
and
(
instance
?SS
MyastheniaGravis
)
(
experiencer
?SS ?H))
(
attribute
?H
(
ImpairedBodyPartFn
NerveCell
)))
Medicine.kif 2406-2411
如果
过程
是
MyastheniaGravis
的
instance
和
施事体
经历了
那个 过程
,
然后
ImpairedBodyPartFn
神经细胞
是
那个 施事体
的
attribute
(=>
(
and
(
instance
?SS
SjogrensSyndrome
)
(
experiencer
?SS ?H))
(
or
(
attribute
?H
(
ImpairedBodyPartFn
SalivaryGland
))
(
attribute
?H
(
ImpairedBodyPartFn
TearGland
))))
Medicine.kif 2359-2367
如果
过程
是
SjogrensSyndrome
的
instance
和
施事体
经历了
那个 过程
,
然后
ImpairedBodyPartFn
SalivaryGland
是
那个 施事体
的
attribute
或
ImpairedBodyPartFn
TearGland
是
那个 施事体
的
attribute
(=>
(
and
(
instance
?SS
StayingStill
)
(
experiencer
?SS ?A))
(
not
(
exists
(?B ?T)
(
and
(
instance
?B
BodyMotion
)
(
instance
?T
Translocation
)
(
causes
?B ?T)
(
agent
?B ?A)))))
emotion.kif 1523-1533
如果
过程
是
StayingStill
的
instance
和
施事体
经历了
那个 过程
,
然后 不存在
另一个 过程
和
第三 过程
这样
那个 另外 过程
是
身体运动
的
instance
和
那个 第三 过程
是
易位
的
instance
和
那个 另外 过程
causes
那个 第三 过程
和
那个 施事体
是
那个 另外 过程
的
agent
(=>
(
and
(
instance
?T
Bradycardia
)
(
experiencer
?T ?P)
(
instance
?H
Heart
)
(
part
?H ?P)
(
instance
?I
Minute
)
(
heartRate
?H ?I ?N))
(
greaterThan
50 ?N))
Medicine.kif 2847-2855
如果
过程
是
Bradycardia
的
instance
和
施事体
经历了
那个 过程
和
心
是
心
的
instance
和
那个 心
是
那个 施事体
的
part
和
时距
是
分钟
的
instance
和
heartRate
那个 心
,
那个 时距
and
整数
,
然后 50 是
greaterThan
那个 整数
(=>
(
and
(
instance
?T
Tachycardia
)
(
experiencer
?T ?P)
(
instance
?H
Heart
)
(
part
?H ?P)
(
instance
?I
Minute
)
(
heartRate
?H ?I ?N))
(
greaterThan
?N 100))
Medicine.kif 2819-2827
如果
过程
是
Tachycardia
的
instance
和
施事体
经历了
那个 过程
和
心
是
心
的
instance
和
那个 心
是
那个 施事体
的
part
和
时距
是
分钟
的
instance
和
heartRate
那个 心
,
那个 时距
and
整数
,
然后
那个 整数
是
greaterThan
100
(=>
(
and
(
instance
?T
TakingIll
)
(
experiencer
?T ?A))
(
exists
(?D)
(
and
(
instance
?D
DiseaseOrSyndrome
)
(
holdsDuring
(
BeginFn
(
WhenFn
?T))
(
not
(
attribute
?A ?D)))
(
holdsDuring
(
EndFn
(
WhenFn
?T))
(
attribute
?A ?D)))))
Mid-level-ontology.kif 5931-5944
如果
过程
是
生病了
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
实体
这样
那个 实体
是
疾病或综合症
的
instance
和
那个 实体
不 是
那个 施事体
的
attribute
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 实体
是
那个 施事体
的
attribute
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?T
TemperatureFallingExperiencedAsFeelingCold
)
(
located
?T ?L)
(
experiencer
?T ?A))
(
holdsDuring
(
WhenFn
?T)
(
believes
?A
(
attribute
?L
ColdTemperature
))))
emotion.kif 1551-1558
如果
过程
是
TemperatureFallingExperiencedAsFeelingCold
的
instance
和
那个 过程
是
located
在
客体
和
施事体
经历了
那个 过程
,
然后
那个 施事体
believes
ColdTemperature
是
那个 客体
的
attribute
在
那个 过程
出现 的
time
holdsDuring
(=>
(
and
(
instance
?T
TemperatureRisingExperiencedAsFeelingWarm
)
(
located
?T ?L)
(
experiencer
?T ?A))
(
holdsDuring
(
WhenFn
?T)
(
believes
?A
(
attribute
?L
WarmTemperature
))))
emotion.kif 1569-1576
如果
过程
是
TemperatureRisingExperiencedAsFeelingWarm
的
instance
和
那个 过程
是
located
在
客体
和
施事体
经历了
那个 过程
,
然后
那个 施事体
believes
WarmTemperature
是
那个 客体
的
attribute
在
那个 过程
出现 的
time
holdsDuring
(=>
(
and
(
instance
?T
TransferringPosition
)
(
experiencer
?T ?H))
(
exists
(?P1 ?P2 ?ORG)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?T))
(
occupiesPosition
?H ?P1 ?ORG))
(
holdsDuring
(
EndFn
(
WhenFn
?T))
(
occupiesPosition
?H ?P2 ?ORG))
(
not
(
equal
?P1 ?P2)))))
Mid-level-ontology.kif 16947-16960
如果
过程
是
转移位置
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 施事体
在
那个 第三 实体
任职
那个 实体
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 施事体
在
那个 第三 实体
任职
那个 另外 实体
在
那个 过程
出现 的
time
的结束
holdsDuring
和
那个 实体
不
equal
那个 另外 实体
(=>
(
and
(
instance
?T1
Translocation
)
(
instance
?T2
Translocation
)
(
origin
?T1 ?O1)
(
origin
?T2 ?D1)
(
destination
?T1 ?D1)
(
destination
?T2 ?D2)
(
experiencer
?T1 ?P)
(
experiencer
?T2 ?P))
(
exists
(?T)
(
and
(
instance
?T
Translocation
)
(
origin
?T ?O1)
(
destination
?T ?D2)
(
subProcess
?T1 ?T)
(
subProcess
?T2 ?T)
(
experiencer
?T ?P)
(
starts
(
WhenFn
?T1)
(
WhenFn
?T))
(
finishes
(
WhenFn
?T2)
(
WhenFn
?T)))))
Merge.kif 11327-11350
如果
过程
是
易位
的
instance
和
另一个 过程
是
易位
的
instance
和
客体
是
那个 过程
的源头 和
另一个 客体
是
那个 另外 过程
的源头 和
那个 过程
在
那个 另外 客体
结束 和
那个 另外 过程
在
实体
结束 和
施事体
经历了
那个 过程
和
那个 施事体
经历了
那个 另外 过程
,
然后 有存在
第三 过程
这样
那个 第三 过程
是
易位
的
instance
和
那个 客体
是
那个 第三 过程
的源头 和
那个 第三 过程
在
那个 实体
结束 和
那个 过程
%n是
那个 第三 过程
的
subProcess
和
那个 另外 过程
%n是
那个 第三 过程
的
subProcess
和
那个 施事体
经历了
那个 第三 过程
和
那个 过程
出现 的
time
starts
了才到
那个 第三 过程
出现 的
time
和
那个 另外 过程
出现 的
time
finishes
了才到
那个 第三 过程
出现 的
time
(=>
(
and
(
instance
?TEXT
BirthCertificate
)
(
instance
?B
Birth
)
(
instance
?A
Human
)
(
experiencer
?B ?A))
(
containsFormula
?TEXT
(
exists
(?DAY ?P ?N)
(
and
(
birthdate
?A ?DAY)
(
instance
?DAY
Day
)
(
birthplace
?A ?P)
(
instance
?P
GeographicArea
)
(
represents
?N ?A)
(
instance
?N
Name
)))))
Biography.kif 250-264
如果
内容承载物理
是
出生证明
的
instance
和
过程
是
出生
的
instance
和
施事体
是
人类
的
instance
和
那个 施事体
经历了
那个 过程
,
然后
containsFormula
那个 内容承载物理
and 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
是
那个 施事体
的
birthdate
和
那个 实体
是
日
的
instance
和
那个 另外 实体
是
那个 施事体
的
birthplace
和
那个 另外 实体
是
地理区域
的
instance
和
那个 第三 实体
表达
那个 施事体
和
那个 第三 实体
是
Name
的
instance
(=>
(
and
(
instance
?TEXT
DeathCertificate
)
(
instance
?D
Death
)
(
instance
?A
Human
)
(
experiencer
?D ?A))
(
containsFormula
?TEXT
(
exists
(?DAY ?P ?N ?PROC)
(
and
(
deathdate
?A ?DAY)
(
instance
?DAY
Day
)
(
deathplace
?A ?P)
(
instance
?P
GeographicArea
)
(
represents
?N ?A)
(
instance
?N
Name
)
(
causes
?PROC ?D)
(
instance
?PROC
Process
)))))
Biography.kif 280-296
如果
内容承载物理
是
DeathCertificate
的
instance
和
过程
是
死亡
的
instance
和
施事体
是
人类
的
instance
和
那个 施事体
经历了
那个 过程
,
然后
containsFormula
那个 内容承载物理
and 有存在
那个 过程
AY,
另一个 实体
,, ,
第三 实体
, and 和
那个 另外 实体
ROC 这样
那个 过程
AY 是
那个 施事体
的
deathdate
和
那个 过程
AY 是
日
的
instance
和
那个 另外 实体
是
那个 施事体
的
deathplace
和
那个 另外 实体
是
地理区域
的
instance
和
那个 第三 实体
表达
那个 施事体
和
那个 第三 实体
是
Name
的
instance
和
那个 另外 实体
ROC
causes
那个 过程
和
那个 另外 实体
ROC 是
过程
的
instance
(=>
(
and
(
instance
?V
Vaccination
)
(
experiencer
?V ?H))
(
exists
(?VAC)
(
and
(
instance
?VAC
Vaccine
)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?V)
(
contains
?H ?VAC))))))
WMD.kif 1071-1081
如果
过程
是
Vaccination
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
那个 过程
AC 这样
那个 过程
AC 是
Vaccine
的
instance
和 在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
and
(
instance
?V
Vomiting
)
(
experiencer
?V ?A))
(
exists
(?S ?O)
(
and
(
instance
?S
Stomach
)
(
part
?S ?A)
(
holdsDuring
(
BeginFn
(
WhenFn
?V))
(
located
?O ?S))
(
holdsDuring
(
EndFn
(
WhenFn
?V))
(
not
(
located
?O ?A))))))
Mid-level-ontology.kif 21412-21426
如果
过程
是
Vomiting
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
客体
和
实体
这样
那个 客体
是
胃
的
instance
和
那个 客体
是
那个 施事体
的
part
和
那个 实体
是
located
在
那个 客体
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 实体
不 是
located
在
那个 施事体
在
那个 过程
出现 的
time
的结束
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