modalAttribute
(=>
(
and
(
instance
?AVU
AngryVoiceUtterance
)
(
agent
?AVU ?A))
(
modalAttribute
(
causesProposition
(
exists
(?ANG)
(
and
(
instance
?ANG
Anger
)
(
experiencer
?ANG ?A)))
(
and
(
instance
?AVU
AngryVoiceUtterance
)
(
agent
?AVU ?A)))
Likely
))
emotion.kif 1945-1958
如果
过程
是
AngryVoiceUtterance
的
instance
和
施事体
是
那个 过程
的
agent
,
然后
那个 过程
是
AngryVoiceUtterance
的
instance
和
那个 施事体
是
那个 过程
的
agent
是 有存在
那个 施事体
NG 这样
那个 施事体
NG 是
愤怒
的
instance
和
那个 施事体
经历了
那个 施事体
NG 的
causes
提议 的声明 has
容易
的语气
(=>
(
and
(
instance
?B
Buying
)
(
patient
?B ?ITEM)
(
origin
?B ?AGENT)
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validPaymentType
?PS ?PAY))
(
modalAttribute
(
exists
(?PAYMENT)
(
and
(
instance
?PAYMENT ?PAY)
(
subProcess
?PAYMENT ?B)))
Likely
))
Catalog.kif 337-352
如果
过程
是
购买
的
instance
和
实体
是
那个 过程
的
patient
和
有认知的主事
是
那个 过程
的源头 和
另一个 有点 实体
的
price
从
那个 有认知的主事
根据
PricingScheme
是
货币测量
或
unit
price
已收费
那个 有认知的主事
在
那个 PricingScheme
底下 对于
函数量
是
另一个 有点 实体
和
那个 另外 有点 实体
是
物理
的
subclass
和
那个 实体
是
那个 另外 有点 实体
的
immediateInstance
和
有点 付款
是
valid
payment
在
那个 PricingScheme
底下,
然后 有存在
有点 付款
MENT 这样
那个 有点 付款
MENT 是
那个 有点 付款
的
instance
和
那个 有点 付款
MENT%n是
那个 过程
的
subProcess
的声明 has
容易
的语气
(=>
(
and
(
instance
?BS1
BodySegment
)
(
instance
?BS2
BodySegment
)
(
connected
?BS1 ?BS2)
(
instance
?BM
BodyMotion
)
(
moves
?BM ?BS1))
(
modalAttribute
(
not
(
exists
(?BM2)
(
and
(
instance
?BM2
BodyMotion
)
(
moves
?BM2 ?BS2)
(
during
(
WhenFn
?BM2)
(
WhenFn
?BM)))))
Possibility
))
Mid-level-ontology.kif 10577-10593
如果
客体
是
BodySegment
的
instance
和
另一个 客体
是
BodySegment
的
instance
和
那个 客体
和
那个 另外 客体
是
connected
和
运动
是
身体运动
的
instance
和
移动
那个 运动
and
那个 客体
,
然后 不存在
那个 运动
2 这样
那个 运动
2 是
身体运动
的
instance
和
移动
那个 运动
2 and
那个 另外 客体
和
那个 运动
2 出现 的
time
在
那个 运动
出现 的
time
时段内发生 的声明 has
可能性
的语气
(=>
(
and
(
instance
?C
Carabiner
)
(
holdsDuring
?T
(
attribute
?C
DeviceClosed
)))
(
holdsDuring
?T
(
modalAttribute
(
exists
(?R)
(
and
(
instance
?R
ClimbingRope
)
(
contains
?C ?R)))
Possibility
)))
Mid-level-ontology.kif 30815-30826
如果
实体
是
Carabiner
的
instance
和
设备关闭
是
那个 实体
的
attribute
在
时间位置
holdsDuring
,
然后 有存在
另一个 实体
这样
那个 另外 实体
是
ClimbingRope
的
instance
和
那个 实体
contains
那个 另外 实体
的声明 has
可能性
的语气 在
那个 时间位置
holdsDuring
(=>
(
and
(
instance
?CA
COVIDAntibody
)
(
holdsDuring
?T
(
and
(
not
(
attribute
?H
Covid19
))
(
part
?CA ?H))))
(
holdsDuring
(
ImmediateFutureFn
?T)
(
modalAttribute
(
attribute
?H
Covid19
)
Unlikely
)))
Medicine.kif 2784-2796
如果
实体
是
COVIDAntibody
的
instance
和
Covid19
不 是
另一个 实体
的
attribute
和
那个 实体
是
那个 另外 实体
的
part
在
时间位置
holdsDuring
,
然后
Covid19
是
那个 另外 实体
的
attribute
的声明 has
较不可能
的语气 在 紧接
那个 时间位置
after
holdsDuring
(=>
(
and
(
instance
?COMMIT
Committing
)
(
patient
?COMMIT ?FORMULA)
(
instance
?FORMULA
Formula
))
(
modalAttribute
?FORMULA
Promise
))
Merge.kif 13226-13231
如果
过程
是
承诺
的
instance
和
公式
是
那个 过程
的
patient
和
那个 公式
是
公式
的
instance
,
然后
那个 公式
的声明 has
诺言
的语气
(=>
(
and
(
instance
?D
Antidiuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
not
(
equal
?U1 ?U2))
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
UnitOfVolume
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N1 ?N2)
Likely
))
Mid-level-ontology.kif 10055-10078
如果
客体
是
Antidiuretic
的
instance
和
运动
是
消化
的
instance
和
施事体
是
那个 运动
的
agent
和
移动
那个 运动
and
那个 客体
和
时距
是
Urination
的
instance
和
实体
是
那个 时距
的
result
和
那个 施事体
是
那个 时距
的
agent
和
另一个 时距
是
Urination
的
instance
和
那个 时距
不
equal
那个 另外 时距
和
另一个 实体
是
那个 另外 时距
的
result
和
那个 施事体
是
那个 另外 时距
的
agent
和
那个 时距
比
那个 运动
发生的
earlier
和
那个 运动
比
那个 另外 时距
发生的
earlier
和
测量单位
是
UnitOfVolume
的
instance
和
那个 时距
的
measure
是
实数
那个 测量单位
和
那个 另外 时距
的
measure
是
另一个 实数
那个 测量单位
,
然后
那个 实数
是
greaterThan
那个 另外 实数
的声明 has
容易
的语气
(=>
(
and
(
instance
?D
Diuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
UnitOfVolume
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N2 ?N1)
Likely
))
Mid-level-ontology.kif 10025-10046
如果
客体
是
Diuretic
的
instance
和
运动
是
消化
的
instance
和
施事体
是
那个 运动
的
agent
和
移动
那个 运动
and
那个 客体
和
时距
是
Urination
的
instance
和
实体
是
那个 时距
的
result
和
那个 施事体
是
那个 时距
的
agent
和
另一个 时距
是
Urination
的
instance
和
另一个 实体
是
那个 另外 时距
的
result
和
那个 施事体
是
那个 另外 时距
的
agent
和
那个 时距
比
那个 运动
发生的
earlier
和
那个 运动
比
那个 另外 时距
发生的
earlier
和
测量单位
是
UnitOfVolume
的
instance
和
那个 时距
的
measure
是
实数
那个 测量单位
和
那个 另外 时距
的
measure
是
另一个 实数
那个 测量单位
,
然后
那个 另外 实数
是
greaterThan
那个 实数
的声明 has
容易
的语气
(=>
(
and
(
instance
?DUST
DustStorm
)
(
instance
?PLACE
GeographicArea
)
(
eventLocated
?DUST ?PLACE))
(
holdsDuring
(
WhenFn
?DUST)
(
modalAttribute
(
attribute
?PLACE
BadAirQuality
)
Likely
)))
Weather.kif 2600-2608
如果
过程
是
尘暴
的
instance
和
客体
是
地理区域
的
instance
和
那个 过程
是
located
在
那个 客体
,
然后
BadAirQuality
是
那个 客体
的
attribute
的声明 has
容易
的语气 在
那个 过程
出现 的
time
holdsDuring
(=>
(
and
(
instance
?EKG
Electrocardiogram
)
(
attribute
?EKG
EKGAbnormal
)
(
refers
?EKG ?H)
(
part
?H ?P)
(
instance
?H
Heart
))
(
modalAttribute
(
attribute
?P
(
ImpairedBodyPartFn
Heart
))
Likely
))
Medicine.kif 1882-1891
如果
客体
是
Electrocardiogram
的
instance
和
EKGAbnormal
是
那个 客体
的
attribute
和
那个 客体
提到
另一个 客体
和
那个 另外 客体
是
第三 客体
的
part
和
那个 另外 客体
是
心
的
instance
,
然后
ImpairedBodyPartFn
心
是
那个 第三 客体
的
attribute
的声明 has
容易
的语气
(=>
(
and
(
instance
?EKG
Electrocardiogram
)
(
attribute
?EKG
EKGNormal
)
(
refers
?EKG ?H)
(
part
?H ?P)
(
instance
?H
Heart
))
(
modalAttribute
(
not
(
attribute
?P
(
ImpairedBodyPartFn
Heart
)))
Likely
))
Medicine.kif 1865-1875
如果
客体
是
Electrocardiogram
的
instance
和
EKGNormal
是
那个 客体
的
attribute
和
那个 客体
提到
另一个 客体
和
那个 另外 客体
是
第三 客体
的
part
和
那个 另外 客体
是
心
的
instance
,
然后
ImpairedBodyPartFn
心
不 是
那个 第三 客体
的
attribute
的声明 has
容易
的语气
(=>
(
and
(
instance
?EVP
Process
)
(
instance
?AGENT
AutonomousAgent
)
(
instance
?EXP
Experimenting
)
(
treatedUser
?AGENT ?EXP)
(
experimentalVariableProcess
?EXP ?EVP)
(
experiencer
?PROC ?AGENT)
(
experiencer
?EVP ?AGENT)
(
exclusiveEvent
?EXP ?PROC))
(
exists
(?EXPERIMENTER)
(
and
(
instance
?EXPERIMENTER
AutonomousAgent
)
(
experimenter
?EXP ?EXPERIMENTER)
(
believes
?EXPERIMENTER
(
modalAttribute
(
causes
?EVP ?PROC)
Likely
)))))
UXExperimentalTerms.kif 4357-4374
如果
过程
是
过程
的
instance
和
人类
是
施事体
的
instance
和
试验
是
试验
的
instance
和
那个 人类
是个
treated
used
在
那个 试验
和
那个 过程
在
那个 试验
的
process
和
那个 人类
经历了
另一个 过程
和
那个 人类
经历了
那个 过程
和
那个 试验
causes
那个 另外 过程
,
然后 有存在
那个 试验
ERIMENTER 这样
那个 试验
ERIMENTER 是
施事体
的
instance
和
那个 试验
ERIMENTER 是在
那个 试验
的
experimenter
和
那个 试验
ERIMENTER
believes
那个 过程
causes
那个 另外 过程
的声明 has
容易
的语气
(=>
(
and
(
instance
?F
Flooding
)
(
instance
?L
LandArea
)
(
eventLocated
?F ?L)
(
instance
?T
TimePoint
)
(
before
?T
(
WhenFn
?F)))
(
modalAttribute
(
holdsDuring
?T
(
instance
?L
SubmergedLandArea
))
Unlikely
))
Weather.kif 1598-1608
如果
过程
是
洪水
的
instance
和
客体
是
土地面积
的
instance
和
那个 过程
是
located
在
那个 客体
和
时点
是
时点
的
instance
和
那个 时点
%n在
那个 过程
出现 的
time
before
发生,
然后
那个 客体
是
淹没的土地面积
的
instance
在
那个 时点
holdsDuring
的声明 has
较不可能
的语气
(=>
(
and
(
instance
?H
Hotline
)
(
telephoneNumber
?H ?O)
(
instance
?O
Organization
))
(
hasPurpose
?H
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?O)
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
Communication
)
(
instrument
?C ?H)
(
equal
(
BeginFn
(
WhenFn
?C))
(
BeginFn
(
ImmediateFutureFn
(
WhenFn
?T))))))
Likely
)))))
Mid-level-ontology.kif 25093-25114
如果
TelecomNumber
是
Hotline
的
instance
和
那个 TelecomNumber
是
施事体
的
telephone
number
和
那个 施事体
是
机构
的
instance
,
然后
那个 TelecomNumber
的 目的 是 有存在
实体
这样
那个 实体
是
致电
的
instance
和
那个 实体
在
那个 施事体
结束 和 有存在
另一个 实体
这样
那个 另外 实体
是
沟通
的
instance
和
那个 TelecomNumber
是导致
那个 另外 实体
的
instrument
和
那个 另外 实体
出现 的
time
的开始
equal
紧接
那个 实体
出现 的
time
after
的开始 的声明 has
容易
的语气
(=>
(
and
(
instance
?HAZE
AtmosphericHazing
)
(
instance
?PLACE
GeographicArea
)
(
eventLocated
?HAZE ?PLACE))
(
holdsDuring
(
WhenFn
?HAZE)
(
modalAttribute
(
attribute
?PLACE
BadAirQuality
)
Likely
)))
Weather.kif 2590-2598
如果
过程
是
阴霾
的
instance
和
客体
是
地理区域
的
instance
和
那个 过程
是
located
在
那个 客体
,
然后
BadAirQuality
是
那个 客体
的
attribute
的声明 has
容易
的语气 在
那个 过程
出现 的
time
holdsDuring
(=>
(
and
(
instance
?I
Impacting
)
(
patient
?I ?H)
(
holdsDuring
(
ImmediateFutureFn
?I)
(
attribute
?H
(
ImpairedBodyPartFn
Brain
))))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?I)
(
attribute
?H
Concussion
))
Likely
))
Medicine.kif 1328-1340
如果
过程
是
碰撞
的
instance
和
实体
是
那个 过程
的
patient
和
ImpairedBodyPartFn
脑
是
那个 实体
的
attribute
在 紧接
那个 过程
after
holdsDuring
,
然后
Concussion
是
那个 实体
的
attribute
在 紧接
那个 过程
after
holdsDuring
的声明 has
容易
的语气
(=>
(
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
Intestine
)
(
instance
?A
Animal
)
(
part
?I ?A))
(
modalAttribute
(
exists
(?E)
(
and
(
instance
?E
EscherichiaColi
)
(
contains
?I ?E)))
Likely
))
Medicine.kif 5490-5500
如果
客体
是
肠
的
instance
和
另一个 客体
是
动物
的
instance
和
那个 客体
是
那个 另外 客体
的
part
,
然后 有存在
实体
这样
那个 实体
是
EscherichiaColi
的
instance
和
那个 客体
contains
那个 实体
的声明 has
容易
的语气
(=>
(
and
(
instance
?L
LeafSpring
)
(
part
?L ?RV)
(
instance
?RV
RoadVehicle
))
(
modalAttribute
(
exists
(?L2)
(
and
(
instance
?L2
LeafSpring
)
(
part
?L2 ?RV)
(
not
(
equal
?L ?L2))
(
meetsSpatially
?L ?L2)))
Likely
))
Cars.kif 902-915
如果
客体
是
LeafSpring
的
instance
和
那个 客体
是
另一个 客体
的
part
和
那个 另外 客体
是
公路车辆
的
instance
,
然后 有存在
那个 客体
2 这样
那个 客体
2 是
LeafSpring
的
instance
和
那个 客体
2 是
那个 另外 客体
的
part
和
那个 客体
不
equal
那个 客体
2 和
那个 客体
接上
那个 客体
2 的声明 has
容易
的语气
(=>
(
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
?LD
LiquidDrop
)
(
surface
?S ?LD))
(
modalAttribute
(
exists
(?SS ?LL)
(
and
(
instance
?LL
Substance
)
(
attribute
?LL
Liquid
)
(
not
(
equal
?LD ?LL))
(
surface
?SS ?LL)
(
meetsSpatially
?S ?SS)))
Unlikely
))
Geography.kif 7497-7509
如果
自身连接物体
是
液体滴
的
instance
和
另一个 自身连接物体
是
那个 自身连接物体
的
surface
,
然后 有存在
那个 另外 自身连接物体
S 和
另一个 实体
这样
那个 另外 实体
是
物质
的
instance
和
液体
是
那个 另外 实体
的
attribute
和
那个 自身连接物体
不
equal
那个 另外 实体
和
那个 另外 自身连接物体
S 是
那个 另外 实体
的
surface
和
那个 另外 自身连接物体
接上
那个 另外 自身连接物体
S 的声明 has
较不可能
的语气
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