greaterThan
(=>
(
and
(
totalPipelineInArea
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?PIPE)
(
and
(
instance
?PIPE
Pipeline
)
(
located
?PIPE ?AREA))))
Transportation.kif 694-702
如果
实数
测量单位
是 在地区
地理区域
的
total
管线 和
那个 测量单位
是
UnitOfLength
的
instance
和
那个 实数
是
greaterThan
0,
然后 有存在
物理
这样
那个 物理
是
管道
的
instance
和
那个 物理
是
located
在
那个 地理区域
(=>
(
and
(
typicalBloodVolume
?M
(
MeasureFn
?N ?U))
(
holdsDuring
?T
(
bloodVolume
?H
(
MeasureFn
?N2 ?U)))
(
instance
?H ?M)
(
greaterThan
(
MultiplicationFn
?N2 2.0) ?N)
(
lessThan
?N2
(
MultiplicationFn
0.8 ?N)))
(
holdsDuring
?T
(
attribute
?H
SevereBloodLoss
)))
Medicine.kif 5968-5982
如果
typicalBloodVolume
有点 哺乳动物
and
实数
测量单位
和
bloodVolume
实体
and
那个 实数
2
那个 测量单位
在
时间位置
holdsDuring
和
那个 实体
是
有点 哺乳动物
的
instance
和
那个 实数
2 和 2.0 是
greaterThan
那个 实数
和
那个 实数
2 是
lessThan
0.8 和
那个 实数
,
然后
SevereBloodLoss
是
那个 实体
的
attribute
在
那个 时间位置
holdsDuring
(=>
(
and
(
viewedItemList
?USER ?LIST)
(
instance
?ACCESSING1
AccessingWebPage
)
(
instance
?ACCESSING2
AccessingWebPage
)
(
agent
?ACCESSING1 ?USER)
(
agent
?ACCESSING2 ?USER)
(
instance
?INDEX1
PositiveInteger
)
(
instance
?INDEX2
PositiveInteger
)
(
equal
(
ListOrderFn
?LIST ?INDEX1) ?ACCESSING1)
(
equal
(
ListOrderFn
?LIST ?INDEX2) ?ACCESSING2)
(
greaterThan
?INDEX1 ?INDEX2))
(
earlier
(
WhenFn
?ACCESSING2)
(
WhenFn
?ACCESSING1)))
UXExperimentalTerms.kif 799-817
如果
串列
是样品清单
viewed
由
施事体
和
过程
是
AccessingWebPage
的
instance
和
另一个 过程
是
AccessingWebPage
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
那个 施事体
是
那个 另外 过程
的
agent
和
正整数
是
正整数
的
instance
和
另一个 正整数
是
正整数
的
instance
和
那个 串列
的第
那个 正整数
几个元素
equal
那个 过程
和
那个 串列
的第
那个 另外 正整数
几个元素
equal
那个 另外 过程
和
那个 正整数
是
greaterThan
那个 另外 正整数
,
然后
那个 另外 过程
出现 的
time
比
那个 过程
出现 的
time
发生的
earlier
(=>
(
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
(
systolicBloodPressure
?H
(
MeasureFn
?NS
MmMercury
))
(
diastolicBloodPressure
?H
(
MeasureFn
?ND
MmMercury
))
(
greaterThan
90.0 ?NS)
(
greaterThan
60.0 ?ND)))
(
holdsDuring
?T
(
attribute
?H
LowBloodPressure
)))
Mid-level-ontology.kif 10468-10478
如果
systolicBloodPressure
实体
and
另一个 实体
mm汞
和
diastolicBloodPressure
那个 实体
and
第三 实体
mm汞
和 90.0 是
greaterThan
那个 另外 实体
和 60.0 是
greaterThan
那个 第三 实体
在
时间位置
holdsDuring
,
然后
LowBloodPressure
是
那个 实体
的
attribute
在
那个 时间位置
holdsDuring
(=>
(
holdsDuring
?T
(
and
(
systolicBloodPressure
?H
(
MeasureFn
?NS
MmMercury
))
(
diastolicBloodPressure
?H
(
MeasureFn
?ND
MmMercury
))
(
greaterThan
?NS 140.0)
(
greaterThan
?ND 90.0)))
(
holdsDuring
?T
(
attribute
?H
HighBloodPressure
)))
Mid-level-ontology.kif 10450-10460
如果
systolicBloodPressure
实体
and
另一个 实体
mm汞
和
diastolicBloodPressure
那个 实体
and
第三 实体
mm汞
和
那个 另外 实体
是
greaterThan
140.0 和
那个 第三 实体
是
greaterThan
90.0 在
时间位置
holdsDuring
,
然后
HighBloodPressure
是
那个 实体
的
attribute
在
那个 时间位置
holdsDuring
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