experiencer
(=>
(
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
?INHERIT
Inheriting
)
(
agent
?INHERIT ?HEIR)
(
origin
?INHERIT ?PERSON)
(
patient
?INHERIT ?PROPERTY))
(
exists
(?DEATH)
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?PERSON)
(
earlier
(
WhenFn
?DEATH)
(
WhenFn
?INHERIT))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEATH))
(
possesses
?PERSON ?PROPERTY))
(
confersRight
(
possesses
?HEIR ?PROPERTY) ?PERSON ?HEIR))))
Mid-level-ontology.kif 18621-18639
如果
过程
是
继承
的
instance
和
有认知的主事
是
那个 过程
的
agent
和
施事体
是
那个 过程
的源头 和
实体
是
那个 过程
的
patient
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
死亡
的
instance
和
那个 施事体
经历了
那个 另外 过程
和
那个 另外 过程
出现 的
time
比
那个 过程
出现 的
time
发生的
earlier
和
那个 施事体
possesses
那个 实体
在 紧接
那个 另外 过程
出现 的
time
before
holdsDuring
和
那个 施事体
允许
那个 有认知的主事
执行
那个 有认知的主事
possesses
那个 实体
的任务
(=>
(
and
(
instance
?KILL
Killing
)
(
patient
?KILL ?OBJ))
(
exists
(?DEATH)
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?OBJ)
(
causes
?KILL ?DEATH))))
Merge.kif 12313-12321
如果
过程
是
杀害
的
instance
和
施事体
是
那个 过程
的
patient
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
死亡
的
instance
和
那个 施事体
经历了
那个 另外 过程
和
那个 过程
causes
那个 另外 过程
(=>
(
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
?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
?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
和
那个 施事体
经历了
那个 另外 时距
(=>
(
and
(
instance
?N
Nausea
)
(
experiencer
?N ?H))
(
believes
?H
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?N))
(
exists
(?V)
(
and
(
instance
?V
Vomiting
)
(
experiencer
?V ?H))))))
Mid-level-ontology.kif 21432-21443
如果
过程
是
Nausea
的
instance
和
有认知的主事
经历了
那个 过程
,
然后
那个 有认知的主事
believes
有存在
实体
这样
那个 实体
是
Vomiting
的
instance
和
那个 有认知的主事
经历了
那个 实体
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
and
(
instance
?P
CeliacDisease
)
(
experiencer
?P ?H1)
(
instance
?SI
SmallIntestine
)
(
part
?SI ?H1))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Diarrhoea
)
(
experiencer
?D ?H1)
(
causes
?P ?D)))
Likely
))
Medicine.kif 2735-2747
如果
过程
是
CeliacDisease
的
instance
和
施事体
经历了
那个 过程
和
客体
是
SmallIntestine
的
instance
和
那个 客体
是
那个 施事体
的
part
,
然后 有存在
实体
这样
那个 实体
是
Diarrhoea
的
instance
和
那个 施事体
经历了
那个 实体
和
那个 过程
causes
那个 实体
的声明 has
容易
的语气
(=>
(
and
(
instance
?P
HeartPalpitations
)
(
experiencer
?P ?H)
(
instance
?HEART
Heart
)
(
part
?HEART ?H))
(
exists
(?PER)
(
and
(
instance
?PER
Perception
)
(
experiencer
?PER ?H)
(
patient
?PER ?HEART))))
Medicine.kif 2060-2070
如果
过程
是
HeartPalpitations
的
instance
和
施事体
经历了
那个 过程
和
那个 施事体
EART 是
心
的
instance
和
那个 施事体
EART 是
那个 施事体
的
part
,
然后 有存在
那个 过程
ER 这样
那个 过程
ER 是
感知
的
instance
和
那个 施事体
经历了
那个 过程
ER 和
那个 施事体
EART 是
那个 过程
ER 的
patient
(=>
(
and
(
instance
?P
Poison
)
(
instance
?I
Ingesting
)
(
moves
?I ?P)
(
experiencer
?I ?H))
(
exists
(?D)
(
and
(
instance
?D
Damaging
)
(
experiencer
?D ?H)
(
causes
?I ?D))))
Mid-level-ontology.kif 8600-8610
如果
客体
是
Poison
的
instance
和
运动
是
消化
的
instance
和
移动
那个 运动
and
那个 客体
和
施事体
经历了
那个 运动
,
然后 有存在
过程
这样
那个 过程
是
损坏
的
instance
和
那个 施事体
经历了
那个 过程
和
那个 运动
causes
那个 过程
(=>
(
and
(
instance
?PP
PublicProgram
)
(
experiencer
?PP ?PUBLIC))
(
hasPurpose
?PP
(
exists
(?HELPING)
(
and
(
instance
?HELPING
Helping
)
(
experiencer
?HELPING ?PUBLIC)
(
instance
?PUBLIC
Public
)))))
MilitaryProcesses.kif 1383-1392
如果
过程
是
公共计划
的
instance
和
施事体
经历了
那个 过程
,
然后
那个 过程
的 目的 是 有存在
实体
这样
那个 实体
是
帮助
的
instance
和
那个 施事体
经历了
那个 实体
和
那个 施事体
是
上市
的
instance
(=>
(
and
(
instance
?S
Sepsis
)
(
experiencer
?S ?H))
(
exists
(?I)
(
and
(
instance
?I
Infecting
)
(
experiencer
?I ?H)
(
causes
?I ?S))))
Medicine.kif 5527-5535
如果
过程
是
Sepsis
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
Infecting
的
instance
和
那个 施事体
经历了
那个 另外 过程
和
那个 另外 过程
causes
那个 过程
(=>
(
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 5749-5759
如果
过程
是
SkinRash
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
实体
这样
那个 实体
是
Itching
的
instance
和
那个 施事体
经历了
那个 实体
和
那个 实体
出现 的
time
在
那个 过程
出现 的
time
时段内发生 的声明 has
容易
的语气
(=>
(
and
(
instance
?SH
SafetyHarness
)
(
instance
?PERSON
Animal
)
(
wears
?PERSON ?SH))
(
hasPurpose
?SH
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
instrument
?PROC ?SH)
(
patient
?PROC ?PERSON)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?F ?H ?T)
(
and
(
instance
?H
Human
)
(
experiencer
?I ?H)
(
instance
?F
Falling
)
(
experiencer
?F ?H)
(
causes
?F ?I)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)))))
Cars.kif 3389-3417
如果
可穿戴物品
是
安全套
的
instance
和
动物
是
动物
的
instance
和
那个 动物
wears
那个 可穿戴物品
,
然后
那个 可穿戴物品
的 目的 是 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
是
过程
的
instance
和
那个 可穿戴物品
是导致
那个 实体
的
instrument
和
那个 动物
是
那个 实体
的
patient
和
那个 另外 实体
是
那个 第三 实体
所描述的类别 的
subclass
和
那个 实体
prevents
那个 另外 实体
的发生
(=>
(
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 13494-13504
如果
过程
是
SenseImpairmentFn
有点 感知
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
那个 施事体
2 这样
那个 施事体
2 不
equal
那个 施事体
和
那个 施事体
2 能够担当
经历者
的角色做
有点 感知
和
那个 施事体
不 能够担当
经历者
的角色做
那个 有点 感知
(=>
(
and
(
instance
?SI
(
SenseImpairmentFn
?S))
(
experiencer
?SI ?A))
(
not
(
capability
?S
experiencer
?A)))
Merge.kif 13514-13519
如果
过程
是
SenseImpairmentFn
有点 感知
的
instance
和
施事体
经历了
那个 过程
,
然后
那个 施事体
不 能够担当
经历者
的角色做
有点 感知
(=>
(
and
(
instance
?SVU
SadVoiceUtterance
)
(
agent
?SVU ?A))
(
exists
(?S)
(
and
(
instance
?S
Sadness
)
(
experiencer
?S ?A)
(
causes
?S ?SVU))))
emotion.kif 1967-1975
如果
过程
是
SadVoiceUtterance
的
instance
和
施事体
是
那个 过程
的
agent
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
Sadness
的
instance
和
那个 施事体
经历了
那个 另外 过程
和
那个 另外 过程
causes
那个 过程
(=>
(
and
(
instance
?SVU
SurprisedVoiceUtterance
)
(
agent
?SVU ?A))
(
exists
(?S)
(
and
(
instance
?S
Surprise
)
(
experiencer
?S ?A)
(
causes
?S ?SVU))))
emotion.kif 1928-1936
如果
过程
是
SurprisedVoiceUtterance
的
instance
和
施事体
是
那个 过程
的
agent
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
惊喜
的
instance
和
那个 施事体
经历了
那个 另外 过程
和
那个 另外 过程
causes
那个 过程
(=>
(
and
(
instance
?T
Ticket
)
(
possesses
?T ?CUST)
(
issuedBy
?T ?ORG)
(
attribute
?ORG
AmusementGamblingAndRecreationIndustries
)
(
located
?ORG ?LOC))
(
confersNorm
?ORG
(
exists
(?REC)
(
and
(
instance
?REC
RecreationOrExercise
)
(
experiencer
?REC ?CUST)
(
eventLocated
?REC ?LOC)))
Permission
))
naics.kif 11456-11468
如果
施事体
是
票
的
instance
和
那个 施事体
possesses
客体
和
有认知的主事
是由
那个 施事体
的
issued
和
娱乐赌博和娱乐业
是
那个 有认知的主事
的
attribute
和
那个 有认知的主事
是
located
在
另一个 客体
,
然后
那个 有认知的主事
confers
规范 有存在
实体
这样
那个 实体
是
娱乐或锻炼
的
instance
和
那个 客体
经历了
那个 实体
和
那个 实体
是
located
在
那个 另外 客体
对于
允许
(=>
(
and
(
instance
?T
TimePeriod
)
(
duration
?T
(
MeasureFn
?N
MinuteDuration
))
(
greaterThan
?N 5.0)
(
instance
?H
Human
)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
during
(
WhenFn
?B) ?T)
(
patient
?B ?H)))))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?H)
(
meetsTemporally
?T
(
WhenFn
?D))))
Likely
))
Medicine.kif 5997-6017
如果
时距
是
TimePeriod
的
instance
和
那个 时距
的
duration
是
实数
分钟
和
那个 实数
是
greaterThan
5.0 和
实体
是
人类
的
instance
和 不存在
过程
这样
那个 过程
是
呼吸
的
instance
和
那个 过程
出现 的
time
在
那个 时距
时段内发生 和
那个 实体
是
那个 过程
的
patient
,
然后 有存在
另一个 实体
这样
那个 另外 实体
是
死亡
的
instance
和
那个 实体
经历了
那个 另外 实体
和
那个 时距
接着
那个 另外 实体
出现 的
time
的声明 has
容易
的语气
(=>
(
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 11305-11328
如果
过程
是
易位
的
instance
和
另一个 过程
是
易位
的
instance
和
客体
是
那个 过程
的源头 和
另一个 客体
是
那个 另外 过程
的源头 和
那个 过程
在
那个 另外 客体
结束 和
那个 另外 过程
在
实体
结束 和
施事体
经历了
那个 过程
和
那个 施事体
经历了
那个 另外 过程
,
然后 有存在
第三 过程
这样
那个 第三 过程
是
易位
的
instance
和
那个 客体
是
那个 第三 过程
的源头 和
那个 第三 过程
在
那个 实体
结束 和
那个 过程
%n是
那个 第三 过程
的
subProcess
和
那个 另外 过程
%n是
那个 第三 过程
的
subProcess
和
那个 施事体
经历了
那个 第三 过程
和
那个 过程
出现 的
time
starts
了才到
那个 第三 过程
出现 的
time
和
那个 另外 过程
出现 的
time
finishes
了才到
那个 第三 过程
出现 的
time
(=>
(
and
(
issuedBy
?TICKET ?AGENT)
(
instance
?TICKET
Ticket
)
(
possesses
?CUST ?TICKET))
(
confersNorm
?AGENT
(
exists
(?T)
(
holdsDuring
?T
(
exists
(?P)
(
and
(
instance
?P
Process
)
(
agent
?P ?AGENT)
(
experiencer
?P ?CUST)))))
Permission
))
Mid-level-ontology.kif 16542-16554
如果
有认知的主事
是由
证书
的
issued
和
那个 证书
是
票
的
instance
和
施事体
possesses
那个 证书
,
然后
那个 有认知的主事
confers
规范 有存在
实体
这样 有存在
另一个 实体
这样
那个 另外 实体
是
过程
的
instance
和
那个 有认知的主事
是
那个 另外 实体
的
agent
和
那个 施事体
经历了
那个 另外 实体
在
那个 实体
holdsDuring
对于
允许
(=>
(
and
(
reservedPackage
?RESERVE ?PACKAGE)
(
reservingEntity
?RESERVE ?CUST))
(
modalAttribute
(
exists
(?PROC)
(
and
(
realization
?PROC ?PACKAGE)
(
experiencer
?PROC ?CUST)))
Likely
))
Hotel.kif 2973-2981
如果
Reservation
是 对于
命题
的
reservation
和
那个 Reservation
reserves
另一个 Reservation
,
然后 有存在
实体
这样
那个 实体
表示
那个 命题
的内容 和
那个 另外 Reservation
经历了
那个 实体
的声明 has
容易
的语气
(=>
(
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
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