Likely
(容易)
(=>
(
attribute
?MR
HipHopMusic
)
(
modalAttribute
(
exists
(?MM ?S)
(
and
(
record
?MR ?MM)
(
instance
?S
Speaking
)
(
subProcess
?S ?MM)))
Likely
))
Music.kif 727-734
如果
HipHopMusic
是
客体
的
attribute
,
然后 有存在
实体
和
另一个 实体
这样
那个 客体
是个
那个 实体
的
record
和
那个 另外 实体
是
说话
的
instance
和
那个 另外 实体
%n是
那个 实体
的
subProcess
的声明 has
容易
的语气
(=>
(
attribute
?MR
IndieMusic
)
(
modalAttribute
(
not
(
exists
(?R)
(
recordingCompany
?MR ?R)))
Likely
))
Music.kif 741-746
如果
IndieMusic
是
客体
的
attribute
,
然后 不存在
实体
这样
那个 实体
produces
那个 客体
的声明 has
容易
的语气
(=>
(
attribute
?O
Translucent
)
(
modalAttribute
(
not
(
exists
(?S ?A ?D)
(
and
(
instance
?S
Seeing
)
(
agent
?S ?A)
(
destination
?S ?D)
(
between
?O ?A ?D))))
Likely
))
Mid-level-ontology.kif 15140-15150
如果
Translucent
是
客体
的
attribute
,
然后 不存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
是
看
的
instance
和
那个 另外 实体
是
那个 实体
的
agent
和
那个 实体
在
那个 第三 实体
结束 和
那个 另外 实体
是在
那个 客体
和
那个 第三 实体
between
的声明 has
容易
的语气
(=>
(
attribute
?X
CommunalAttribute
)
(
modalAttribute
(
not
(
attribute
?X
PrivateAttribute
))
Likely
))
Mid-level-ontology.kif 27175-27178
如果
CommunalAttribute
是
客体
的
attribute
,
然后
PrivateAttribute
不 是
那个 客体
的
attribute
的声明 has
容易
的语气
(=>
(
attribute
?X
PrivateAttribute
)
(
modalAttribute
(
not
(
attribute
?X
CommunalAttribute
))
Likely
))
Mid-level-ontology.kif 27170-27173
如果
PrivateAttribute
是
客体
的
attribute
,
然后
CommunalAttribute
不 是
那个 客体
的
attribute
的声明 has
容易
的语气
(=>
(
browserID
?STRING ?BROWSER ?SITE)
(
modalAttribute
(
not
(
exists
(?BROWSER2)
(
and
(
instance
?BROWSER2
WebBrowser
)
(
browserID
?STRING ?BROWSER2 ?SITE))))
Likely
))
UXExperimentalTerms.kif 750-758
如果
Identifier
是
WebBrowser
的
ID
当取用
WebSite
,
然后 不存在
那个 WebBrowser
2 这样
那个 WebBrowser
2 是
WebBrowser
的
instance
和
那个 Identifier
是
那个 WebBrowser
2 的
ID
当取用
那个 WebSite
的声明 has
容易
的语气
(=>
(
dayPhone
?Number ?Agent)
(
exists
(?Phone ?Hour ?Num)
(
and
(
phoneNumber
?Number ?Phone)
(
greaterThan
?Num 6)
(
lessThan
?Num 18)
(
holdsDuring
(
instance
?Hour
(
HourFn
?Num
Day
))
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?Agent)
(
patient
?T ?Phone)
(
possesses
?Agent ?Phone)
(
modalAttribute
(
exists
(?A)
(
and
(
instance
?A
Answering
)
(
subProcess
?A ?T)
(
agent
?A ?Agent)))
Likely
)))))))
FinancialOntology.kif 3691-3711
如果
施事体
是
符号串
的
day
电话,
然后 有存在
电话
,
实体
, and 和
实数
这样
那个 电话
是
那个 符号串
的
phone
号码 和
那个 实数
是
greaterThan
6 和
那个 实数
是
lessThan
18 和 有存在
另一个 实体
这样
那个 另外 实体
是
致电
的
instance
和
那个 另外 实体
在
那个 施事体
结束 和
那个 电话
是
那个 另外 实体
的
patient
和
那个 施事体
possesses
那个 电话
和 有存在
第三 实体
这样
那个 第三 实体
是
回答中
的
instance
和
那个 第三 实体
%n是
那个 另外 实体
的
subProcess
和
那个 施事体
是
那个 第三 实体
的
agent
的声明 has
容易
的语气 在
那个 实体
是
那个 实数
hour
的
instance
holdsDuring
(=>
(
eveningPhone
?Number ?Agent)
(
exists
(?Phone ?Hour ?Num)
(
and
(
phoneNumber
?Number ?Phone)
(
greaterThan
?Num 18)
(
lessThan
?Num 6)
(
holdsDuring
(
instance
?Hour
(
HourFn
?Num
Day
))
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?Agent)
(
patient
?T ?Phone)
(
possesses
?Agent ?Phone)
(
modalAttribute
(
exists
(?A)
(
and
(
instance
?A
Answering
)
(
subProcess
?A ?T)
(
agent
?A ?Agent)))
Likely
)))))))
FinancialOntology.kif 3735-3755
如果
施事体
是
符号串
的
evening
电话,
然后 有存在
电话
,
实体
, and 和
实数
这样
那个 电话
是
那个 符号串
的
phone
号码 和
那个 实数
是
greaterThan
18 和
那个 实数
是
lessThan
6 和 有存在
另一个 实体
这样
那个 另外 实体
是
致电
的
instance
和
那个 另外 实体
在
那个 施事体
结束 和
那个 电话
是
那个 另外 实体
的
patient
和
那个 施事体
possesses
那个 电话
和 有存在
第三 实体
这样
那个 第三 实体
是
回答中
的
instance
和
那个 第三 实体
%n是
那个 另外 实体
的
subProcess
和
那个 施事体
是
那个 第三 实体
的
agent
的声明 has
容易
的语气 在
那个 实体
是
那个 实数
hour
的
instance
holdsDuring
(=>
(
habitatOfOrganism
?O ?L)
(
modalAttribute
(
exists
(?OI)
(
and
(
instance
?OI ?O)
(
inhabits
?OI ?L)))
Likely
))
Mid-level-ontology.kif 30388-30395
如果
有点 生物
inhabits
地理区域
,
然后 有存在
有点 生物
I 这样
那个 有点 生物
I 是
那个 有点 生物
的
instance
和
那个 有点 生物
I 住在
那个 地理区域
的声明 has
容易
的语气
(=>
(
hasUniform
?GRP ?UNIFORM)
(
modalAttribute
(
exists
(?PERS ?CLOTHING ?TIME)
(
and
(
member
?PERS ?GRP)
(
instance
?CLOTHING ?UNIFORM)
(
holdsDuring
?TIME
(
wears
?PERS ?CLOTHING))))
Likely
))
Mid-level-ontology.kif 26675-26683
如果
群组
有
uniform
有点 UniformClothing
,
然后 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
是
那个 群组
的
member
和
那个 另外 实体
是
有点 UniformClothing
的
instance
和
那个 实体
wears
那个 另外 实体
在
那个 第三 实体
holdsDuring
的声明 has
容易
的语气
(=>
(
holdsDuring
?T
(
and
(
maxDeviceOperatingTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOn
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
greaterThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3629-3642
如果
maxDeviceOperatingTemp
实体
and
另一个 实体
第三 实体
和
那个 第三 实体
是
UnitOfTemperature
的
instance
和
那个 实体
是
located
在
第四 实体
和
设备上
是
那个 实体
的
attribute
和
第五 实体
那个 第三 实体
是
那个 第四 实体
的
air
温度 和
那个 第五 实体
是
greaterThan
那个 另外 实体
在
时间位置
holdsDuring
,
然后
DeviceDamaged
是
那个 实体
的
attribute
在 紧接
那个 时间位置
after
holdsDuring
的声明 has
容易
的语气
(=>
(
holdsDuring
?T
(
and
(
maxDeviceStorageTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOff
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
greaterThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3657-3670
如果
maxDeviceStorageTemp
实体
and
另一个 实体
第三 实体
和
那个 第三 实体
是
UnitOfTemperature
的
instance
和
那个 实体
是
located
在
第四 实体
和
设备关闭
是
那个 实体
的
attribute
和
第五 实体
那个 第三 实体
是
那个 第四 实体
的
air
温度 和
那个 第五 实体
是
greaterThan
那个 另外 实体
在
时间位置
holdsDuring
,
然后
DeviceDamaged
是
那个 实体
的
attribute
在 紧接
那个 时间位置
after
holdsDuring
的声明 has
容易
的语气
(=>
(
holdsDuring
?T
(
and
(
minDeviceOperatingTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOn
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
lessThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3682-3695
如果
minDeviceOperatingTemp
实体
and
另一个 实体
第三 实体
和
那个 第三 实体
是
UnitOfTemperature
的
instance
和
那个 实体
是
located
在
第四 实体
和
设备上
是
那个 实体
的
attribute
和
第五 实体
那个 第三 实体
是
那个 第四 实体
的
air
温度 和
那个 第五 实体
是
lessThan
那个 另外 实体
在
时间位置
holdsDuring
,
然后
DeviceDamaged
是
那个 实体
的
attribute
在 紧接
那个 时间位置
after
holdsDuring
的声明 has
容易
的语气
(=>
(
holdsDuring
?T
(
and
(
minDeviceStorageTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOff
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
lessThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3708-3721
如果
minDeviceStorageTemp
实体
and
另一个 实体
第三 实体
和
那个 第三 实体
是
UnitOfTemperature
的
instance
和
那个 实体
是
located
在
第四 实体
和
设备关闭
是
那个 实体
的
attribute
和
第五 实体
那个 第三 实体
是
那个 第四 实体
的
air
温度 和
那个 第五 实体
是
lessThan
那个 另外 实体
在
时间位置
holdsDuring
,
然后
DeviceDamaged
是
那个 实体
的
attribute
在 紧接
那个 时间位置
after
holdsDuring
的声明 has
容易
的语气
(=>
(
holdsDuring
?T
(
attribute
?A
Anger
))
(
modalAttribute
(
exists
(?HF)
(
and
(
instance
?HF
AngryFacialExpression
)
(
experiencer
?HF ?A)
(
during
(
WhenFn
?HF) ?T)))
Likely
))
emotion.kif 1244-1253
如果
愤怒
是
实体
的
attribute
在
时间位置
holdsDuring
,
然后 有存在
另一个 实体
这样
那个 另外 实体
是
AngryFacialExpression
的
instance
和
那个 实体
经历了
那个 另外 实体
和
那个 另外 实体
出现 的
time
在
那个 时间位置
时段内发生 的声明 has
容易
的语气
(=>
(
holdsDuring
?T
(
attribute
?A
Disgust
))
(
modalAttribute
(
exists
(?FE)
(
and
(
instance
?FE
DisgustedFacialExpression
)
(
experiencer
?FE ?A)
(
during
(
WhenFn
?FE) ?T)))
Likely
))
emotion.kif 1262-1271
如果
Disgust
是
实体
的
attribute
在
时间位置
holdsDuring
,
然后 有存在
另一个 实体
这样
那个 另外 实体
是
DisgustedFacialExpression
的
instance
和
那个 实体
经历了
那个 另外 实体
和
那个 另外 实体
出现 的
time
在
那个 时间位置
时段内发生 的声明 has
容易
的语气
(=>
(
holdsDuring
?T
(
attribute
?A
Fear
))
(
believes
?A
(
modalAttribute
(
exists
(?P)
(
and
(
not
(
wants
?A ?P))
(
before
?T
(
WhenFn
?P))))
Likely
)))
emotion.kif 1025-1036
如果
Fear
是
有认知的主事
的
attribute
在
时间位置
holdsDuring
,
然后
那个 有认知的主事
believes
有存在
实体
这样
那个 有认知的主事
doesn't
wants
那个 实体
和
那个 时间位置
%n在
那个 实体
出现 的
time
before
发生 的声明 has
容易
的语气
(=>
(
holdsDuring
?T
(
attribute
?A
Fear
))
(
modalAttribute
(
exists
(?FE)
(
and
(
instance
?FE
FearfulFacialExpression
)
(
experiencer
?FE ?A)
(
during
(
WhenFn
?FE) ?T)))
Likely
))
emotion.kif 1344-1353
如果
Fear
是
实体
的
attribute
在
时间位置
holdsDuring
,
然后 有存在
另一个 实体
这样
那个 另外 实体
是
FearfulFacialExpression
的
instance
和
那个 实体
经历了
那个 另外 实体
和
那个 另外 实体
出现 的
time
在
那个 时间位置
时段内发生 的声明 has
容易
的语气
(=>
(
holdsDuring
?T
(
attribute
?A
Happiness
))
(
modalAttribute
(
exists
(?HF)
(
and
(
instance
?HF
HappyFacialExpression
)
(
experiencer
?HF ?A)
(
during
(
WhenFn
?HF) ?T)))
Likely
))
emotion.kif 1226-1235
如果
幸福
是
实体
的
attribute
在
时间位置
holdsDuring
,
然后 有存在
另一个 实体
这样
那个 另外 实体
是
HappyFacialExpression
的
instance
和
那个 实体
经历了
那个 另外 实体
和
那个 另外 实体
出现 的
time
在
那个 时间位置
时段内发生 的声明 has
容易
的语气
(=>
(
holdsDuring
?T
(
attribute
?A
Sadness
))
(
modalAttribute
(
exists
(?FE)
(
and
(
instance
?FE
SadFacialExpression
)
(
experiencer
?FE ?A)
(
during
(
WhenFn
?FE) ?T)))
Likely
))
emotion.kif 1325-1334
如果
Sadness
是
实体
的
attribute
在
时间位置
holdsDuring
,
然后 有存在
另一个 实体
这样
那个 另外 实体
是
SadFacialExpression
的
instance
和
那个 实体
经历了
那个 另外 实体
和
那个 另外 实体
出现 的
time
在
那个 时间位置
时段内发生 的声明 has
容易
的语气
(=>
(
holdsDuring
?T
(
attribute
?A
Surprise
))
(
modalAttribute
(
exists
(?FE)
(
and
(
instance
?FE
SurprisedFacialExpression
)
(
experiencer
?FE ?A)
(
during
(
WhenFn
?FE) ?T)))
Likely
))
emotion.kif 1281-1290
如果
惊喜
是
实体
的
attribute
在
时间位置
holdsDuring
,
然后 有存在
另一个 实体
这样
那个 另外 实体
是
SurprisedFacialExpression
的
instance
和
那个 实体
经历了
那个 另外 实体
和
那个 另外 实体
出现 的
time
在
那个 时间位置
时段内发生 的声明 has
容易
的语气
(=>
(
holdsDuring
?T
(
attribute
?H
(
ImpairedBodyPartFn
Eardrum
)))
(
modalAttribute
(
not
(
exists
(?HEAR)
(
and
(
instance
?HEAR
Hearing
)
(
during
(
WhenFn
?HEAR) ?T)
(
experiencer
?HEAR ?H))))
Likely
))
Anatomy.kif 1645-1656
如果
ImpairedBodyPartFn
Eardrum
是
实体
的
attribute
在
时间位置
holdsDuring
,
然后 不存在
那个 实体
EAR 这样
那个 实体
EAR 是
听
的
instance
和
那个 实体
EAR 出现 的
time
在
那个 时间位置
时段内发生 和
那个 实体
经历了
那个 实体
EAR 的声明 has
容易
的语气
(=>
(
holdsDuring
?T
(
attribute
?H
Bedridden
))
(
holdsDuring
?T
(
modalAttribute
(
exists
(?B)
(
and
(
instance
?B
Bed
)
(
located
?H ?B)))
Likely
)))
Mid-level-ontology.kif 11041-11050
如果
Bedridden
是
实体
的
attribute
在
时间位置
holdsDuring
,
然后 有存在
另一个 实体
这样
那个 另外 实体
是
床
的
instance
和
那个 实体
是
located
在
那个 另外 实体
的声明 has
容易
的语气 在
那个 时间位置
holdsDuring
(=>
(
holdsDuring
?T
(
attribute
?H
Covid19
))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
and
(
instance
?CA
COVIDAntibody
)
(
part
?CA ?H)))
Likely
))
Medicine.kif 2798-2807
如果
Covid19
是
实体
的
attribute
在
时间位置
holdsDuring
,
然后
另一个 实体
是
COVIDAntibody
的
instance
和
那个 另外 实体
是
那个 实体
的
part
在 紧接
那个 时间位置
after
holdsDuring
的声明 has
容易
的语气
(=>
(
holdsDuring
?T
(
attribute
?H
Depression
))
(
modalAttribute
(
holdsDuring
?T
(
not
(
attribute
?H
Happiness
)))
Likely
))
Mid-level-ontology.kif 6395-6402
如果
Depression
是
实体
的
attribute
在
时间位置
holdsDuring
,
然后
幸福
不 是
那个 实体
的
attribute
在
那个 时间位置
holdsDuring
的声明 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