lessThan
(=>
(
and
(
instance
?Compression
DataCompression
)
(
dataProcessed
?Compression ?Data)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?Compression))
(
memorySize
?Data
(
MeasureFn
?Memory ?Measure)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Compression))
(
memorySize
?Data
(
MeasureFn
?NewMemory ?Measure))))
(
lessThan
?NewMemory ?Memory))
QoSontology.kif 1926-1940
如果
电脑程序
是
数据压缩
的
instance
和
数字数据
是由
那个 电脑程序
processed
和
那个 数字数据
requires
实数
实体
在 紧接
那个 电脑程序
出现 的
time
before
holdsDuring
和
那个 数字数据
requires
另一个 实数
那个 实体
在 紧接
那个 电脑程序
出现 的
time
after
holdsDuring
,
然后
那个 另外 实数
是
lessThan
那个 实数
(=>
(
and
(
instance
?D
Decreasing
)
(
patient
?D ?OBJ))
(
exists
(?N1 ?N2 ?T1 ?T2 ?U)
(
and
(
earlier
?T1 ?T2)
(
holdsDuring
?T1
(
measure
?OBJ
(
MeasureFn
?N1 ?U)))
(
holdsDuring
?T2
(
measure
?OBJ
(
MeasureFn
?N2 ?U)))
(
lessThan
?N1 ?N2))))
Merge.kif 10941-10954
如果
过程
是
减少
的
instance
和
实体
是
那个 过程
的
patient
,
然后 有存在
实数
,
另一个 实数
,, ,
时距
,, ,
另一个 时距
, and 和
另一个 实体
这样
那个 时距
比
那个 另外 时距
发生的
earlier
和
那个 实体
的
measure
是
那个 实数
那个 另外 实体
在
那个 时距
holdsDuring
和
那个 实体
的
measure
是
那个 另外 实数
那个 另外 实体
在
那个 另外 时距
holdsDuring
和
那个 实数
是
lessThan
那个 另外 实数
(=>
(
and
(
instance
?D
DeliveryService
)
(
destination
?D ?LOC1)
(
deliveryRegion
?AGENT ?REGION)
(
conditionalProbability
(
located
?LOC1 ?REGION)
(
agent
?D ?AGENT) ?NUMBER1)
(
conditionalProbability
(
not
(
located
?LOC1 ?REGION))
(
agent
?D ?AGENT) ?NUMBER2))
(
lessThan
?NUMBER2 ?NUMBER1))
Dining.kif 552-561
如果
过程
是
DeliveryService
的
instance
和
那个 过程
在
实体
结束 和
地理区域
是
施事体
的
delivery
区域 和 如果
那个 施事体
是
那个 过程
的
agent
是正确, 那
那个 实体
是
located
在
那个 地理区域
的机率就 是
实数
和 如果
那个 施事体
是
那个 过程
的
agent
是正确, 那
那个 实体
不 是
located
在
那个 地理区域
的机率就 是
另一个 实数
,
然后
那个 另外 实数
是
lessThan
那个 实数
(=>
(
and
(
instance
?DEPOSITION
Deposition
)
(
patient
?DEPOSITION ?OBJ)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEPOSITION))
(
measure
?OBJ
(
MeasureFn
?X
Joule
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?DEPOSITION))
(
measure
?OBJ
(
MeasureFn
?Y
Joule
))))
(
lessThan
?Y ?X))
Geography.kif 7016-7030
如果
过程
是
凝华
的
instance
和
实体
是
那个 过程
的
patient
和
那个 实体
的
measure
是
实数
焦耳
在 紧接
那个 过程
出现 的
time
before
holdsDuring
和
那个 实体
的
measure
是
另一个 实数
焦耳
在 紧接
那个 过程
出现 的
time
after
holdsDuring
,
然后
那个 另外 实数
是
lessThan
那个 实数
(=>
(
and
(
instance
?Drawing
DrawingACheck
)
(
patient
?Drawing ?Check)
(
instance
?Processing
ProcessingACheck
)
(
patient
?Processing ?Check)
(
equal
(
WhenFn
?Drawing) ?DrawingTime)
(
equal
(
WhenFn
?Processing) ?ProcessingTime)
(
meetsTemporally
?DrawingTime ?Time)
(
meetsTemporally
?Time ?ProcessingTime)
(
duration
?Time
(
MeasureFn
?Duration
MonthDuration
)))
(
lessThan
?Duration 6))
FinancialOntology.kif 155-166
如果
过程
是
画一张支票
的
instance
和
实体
是
那个 过程
的
patient
和
另一个 过程
是
处理检查
的
instance
和
那个 实体
是
那个 另外 过程
的
patient
和
那个 过程
出现 的
time
equal
那个 过程
Time 和
那个 另外 过程
出现 的
time
equal
那个 另外 过程
Time 和
那个 过程
Time 接着
第三 时距
和
那个 第三 时距
接着
那个 另外 过程
Time 和
那个 第三 时距
的
duration
是
实数
月持续时间
,
然后
那个 实数
是
lessThan
6
(=>
(
and
(
instance
?FOG
Fogging
)
(
eventLocated
?FOG ?AREA)
(
instance
?AREA
GeographicArea
)
(
instance
?AIR
AtmosphericRegion
)
(
orientation
?AIR ?AREA
Above
)
(
instance
?A
Aerosal
)
(
locatedAtTime
?A
(
WhenFn
?FOG) ?AIR)
(
visibilityInMeteorology
?AREA
(
WhenFn
?FOG)
(
MeasureFn
?VISIBILITY
Meter
)))
(
lessThan
?VISIBILITY 1000.0))
Weather.kif 2537-2550
如果
过程
是
雾
的
instance
和
那个 过程
是
located
在
地区
和
那个 地区
是
地理区域
的
instance
和
客体
是
大气地区
的
instance
和
那个 客体
在
那个 地区
的
以上
和
另一个 客体
是
气溶胶
的
instance
和
那个 另外 客体
对于
那个 客体
在时间
那个 过程
出现 的
time
located
和
visibility
在
那个 地区
期间
那个 过程
出现 的
time
是
实数
仪表
,
然后
那个 实数
是
lessThan
1000.0
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T
(
and
(
attribute
?T
Hypothermia
)
(
coreBodyTemp
?H
(
MeasureFn
?N
CelsiusDegree
)))))
(
lessThan
?N 35.0))
Medicine.kif 651-659
如果
实体
是
人类
的
instance
和
Hypothermia
是
时间位置
的
attribute
和
coreBodyTemp
那个 实体
and
实数
摄氏度
在
那个 时间位置
holdsDuring
,
然后
那个 实数
是
lessThan
35.0
(=>
(
and
(
instance
?HAZE
AtmosphericHazing
)
(
eventLocated
?HAZE ?AREA)
(
instance
?AREA
GeographicArea
)
(
instance
?AIR
AtmosphericRegion
)
(
orientation
?AIR ?AREA
Above
)
(
locatedAtTime
?PARTICULATE
(
WhenFn
?HAZE) ?AIR)
(
visibilityInMeteorology
?AREA
(
WhenFn
?HAZE)
(
MeasureFn
?VISIBILITY
Kilometer
)))
(
and
(
greaterThan
?VISIBILITY 2.0)
(
lessThan
?VISIBILITY 5.0)))
Weather.kif 2566-2580
如果
过程
是
阴霾
的
instance
和
那个 过程
是
located
在
地区
和
那个 地区
是
地理区域
的
instance
和
客体
是
大气地区
的
instance
和
那个 客体
在
那个 地区
的
以上
和
另一个 客体
对于
那个 客体
在时间
那个 过程
出现 的
time
located
和
visibility
在
那个 地区
期间
那个 过程
出现 的
time
是
实数
公里
,
然后
那个 实数
是
greaterThan
2.0 和
那个 实数
是
lessThan
5.0
(=>
(
and
(
instance
?N
Network2G
)
(
bandwidth
?N
(
MeasureFn
?M
BitsPerSecond
)))
(
lessThan
?M 40000))
ComputingBrands.kif 1243-1248
如果
计算机网络
是
2G 网路
的
instance
和
实数
每秒位数
是
那个 计算机网络
的
bandwidth
,
然后
那个 实数
是
lessThan
40000
(=>
(
and
(
instance
?N
Network3G
)
(
bandwidth
?N
(
MeasureFn
?M
BitsPerSecond
)))
(
lessThan
?M 200000))
ComputingBrands.kif 1288-1293
如果
计算机网络
是
3G 网路
的
instance
和
实数
每秒位数
是
那个 计算机网络
的
bandwidth
,
然后
那个 实数
是
lessThan
200000
(=>
(
and
(
instance
?N
Network4G
)
(
bandwidth
?N
(
MeasureFn
?M
(
GigaFn
BitsPerSecond
))))
(
lessThan
?M 1))
ComputingBrands.kif 1335-1340
如果
计算机网络
是
4G 网路
的
instance
和
实数
每秒位数
的十亿倍 是
那个 计算机网络
的
bandwidth
,
然后
那个 实数
是
lessThan
1
(=>
(
and
(
instance
?O
Oxidation
)
(
patient
?O ?S)
(
holdsDuring
(
BeginFn
(
WhenFn
?O))
(
electronNumber
?S ?G)))
(
exists
(?L)
(
and
(
lessThan
?L ?G)
(
holdsDuring
(
EndFn
(
WhenFn
?O))
(
electronNumber
?S ?L)))))
Mid-level-ontology.kif 19583-19595
如果
过程
是
氧化
的
instance
和
实体
是
那个 过程
的
patient
和
实数
是
那个 实体
的
electron
号码 在
那个 过程
出现 的
time
的开始
holdsDuring
,
然后 有存在
另一个 实数
这样
那个 另外 实数
是
lessThan
那个 实数
和
那个 另外 实数
是
那个 实体
的
electron
号码 在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?PLACE
GeographicArea
)
(
located
?PLACE ?T)
(
instance
?T
Tropics
))
(
exists
(?NUM1 ?LONG ?DIR ?NUM2 ?U)
(
and
(
objectGeographicCoordinates
?PLACE
(
MeasureFn
?NUM1 ?U) ?LONG)
(
instance
?U
UnitOfAngularMeasure
)
(
lessThan
?NUM1 ?NUM2)
(
equal
(
MeasureFn
?NUM2 ?U)
(
LatitudeFn
?DIR
(
MeasureFn
23.0
AngularDegree
)
(
MeasureFn
26.0
ArcMinute
)
(
MeasureFn
11.5
ArcSecond
)))
(
instance
?DIR
DirectionalAttribute
)
(
or
(
equal
?DIR
North
)
(
equal
?DIR
South
)))))
Geography.kif 3595-3615
如果
客体
是
地理区域
的
instance
和
那个 客体
是
located
在
另一个 客体
和
那个 另外 客体
是
热带
的
instance
,
然后 有存在
实数
,
经度
,, ,
方向属性
,, ,
另一个 实数
, and 和
测量单位
这样
那个 客体
是 对于
那个 经度
的
object
地理座标
那个 实数
那个 测量单位
和
那个 测量单位
是
UnitOfAngularMeasure
的
instance
和
那个 实数
是
lessThan
那个 另外 实数
和
那个 另外 实数
那个 测量单位
equal
23.0
圆周角度
的
region
那个 方向属性
和
那个 方向属性
是
方向属性
的
instance
和
那个 方向属性
equal
北
或
那个 方向属性
equal
南
(=>
(
and
(
instance
?PSP
ProfitSharingPlan
)
(
accountHolder
?PSP ?H)
(
employs
?O ?H)
(
profit
?A
(
MeasureFn
?P ?U))
(
instance
?U
UnitOfCurrency
)
(
agent
?A ?O))
(
exists
(?C ?PAY)
(
and
(
instance
?PAY
FinancialTransaction
)
(
transactionAmount
?PAY
(
MeasureFn
?C ?U))
(
lessThan
?C ?P)
(
destination
?PAY ?PSP))))
FinancialOntology.kif 1192-1207
如果
金融账户
是
利润分享计划
的
instance
和
有认知的主事
持有
account
那个 金融账户
和
施事体
employs
那个 有认知的主事
和 从
金融交易
的
profit
是
实数
测量单位
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 施事体
是
那个 金融交易
的
agent
,
然后 有存在
另一个 实数
和
那个 实数
AY 这样
那个 实数
AY 是
金融交易
的
instance
和
那个 另外 实数
那个 测量单位
是
那个 实数
AY 的
transaction
总额 和
那个 另外 实数
是
lessThan
那个 实数
和
那个 实数
AY 在
那个 金融账户
结束
(=>
(
and
(
instance
?RAINFALL
Process
)
(
patient
?RAINFALL ?RAIN)
(
instance
?RAIN
Water
)
(
measure
?RAIN
(
MeasureFn
?PH
PHValue
)))
(
lessThan
?PH 5.6))
Geography.kif 2561-2567
如果
过程
是
过程
的
instance
和
物理
是
那个 过程
的
patient
和
那个 物理
是
水
的
instance
和
那个 物理
的
measure
是
实数
酸碱度
,
然后
那个 实数
是
lessThan
5.6
(=>
(
and
(
instance
?S
Saving
)
(
patient
?S ?O)
(
agent
?S ?A))
(
exists
(?Q1 ?Q2 ?U)
(
and
(
instance
?U
UnitOfCurrency
)
(
holdsDuring
(
BeginFn
(
WhenFn
?S))
(
monetaryValue
?O
(
MeasureFn
?Q1 ?U)))
(
holdsDuring
(
EndFn
(
WhenFn
?S))
(
monetaryValue
?O
(
MeasureFn
?Q2 ?U)))
(
possesses
?A ?O)
(
lessThan
?Q1 ?Q2))))
Mid-level-ontology.kif 23828-23845
如果
过程
是
保存
的
instance
和
客体
是
那个 过程
的
patient
和
施事体
是
那个 过程
的
agent
,
然后 有存在
实数
,
另一个 实数
, and 和
实体
这样
那个 实体
是
UnitOfCurrency
的
instance
和
那个 客体
的价值 是
那个 实数
那个 实体
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 客体
的价值 是
那个 另外 实数
那个 实体
在
那个 过程
出现 的
time
的结束
holdsDuring
和
那个 施事体
possesses
那个 客体
和
那个 实数
是
lessThan
那个 另外 实数
(=>
(
and
(
instance
?SALE
BargainSale
)
(
patient
?SALE ?OBJ)
(
instance
?OBJ
Object
))
(
exists
(?PRICE1 ?PRICE2 ?AGENT1 ?AGENT2 ?U)
(
and
(
instance
?U
UnitOfCurrency
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?SALE))
(
price
?OBJ
(
MeasureFn
?PRICE1 ?U) ?AGENT1))
(
holdsDuring
(
WhenFn
?SALE)
(
price
?OBJ
(
MeasureFn
?PRICE2 ?U) ?AGENT2))
(
lessThan
?PRICE2 ?PRICE1))))
Mid-level-ontology.kif 7848-7862
如果
过程
是
廉价出售
的
instance
和
实体
是
那个 过程
的
patient
和
那个 实体
是
客体
的
instance
,
然后 有存在
实数
,
另一个 实数
,, ,
另一个 实体
,, ,
第三 实体
, and 和
第四 实体
这样
那个 第四 实体
是
UnitOfCurrency
的
instance
和
那个 实体
是 对于
那个 另外 实体
的
price
那个 实数
那个 第四 实体
在 紧接
那个 过程
出现 的
time
before
holdsDuring
和
那个 实体
是 对于
那个 第三 实体
的
price
那个 另外 实数
那个 第四 实体
在
那个 过程
出现 的
time
holdsDuring
和
那个 另外 实数
是
lessThan
那个 实数
(=>
(
and
(
instance
?SINKING
LandSubsidence
)
(
patient
?SINKING ?LAND)
(
instance
?LAND
LandArea
)
(
instance
?U
UnitOfLength
)
(
elevation
?LAND
(
MeasureFn
?HEIGHT1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?SINKING))
(
exists
(?HEIGHT2)
(
and
(
elevation
?LAND
(
MeasureFn
?HEIGHT2 ?U))
(
lessThan
?HEIGHT2 ?HEIGHT1)))))
Geography.kif 6779-6792
如果
过程
是
地面沉降
的
instance
和
客体
是
那个 过程
的
patient
和
那个 客体
是
土地面积
的
instance
和
测量单位
是
UnitOfLength
的
instance
和
实数
那个 测量单位
是
那个 客体
的
elevation
,
然后 有存在
实体
这样
那个 实体
那个 测量单位
是
那个 客体
的
elevation
和
那个 实体
是
lessThan
那个 实数
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
and
(
instance
?SYSTEM
LowPressureWeatherSystem
)
(
eventLocated
?SYSTEM ?AREA))
(
and
(
barometricPressure
?AREA
(
MeasureFn
?AMOUNT
InchMercury
))
(
lessThan
?AMOUNT 29.5)))
Weather.kif 543-549
如果
过程
是
低压天气系统
的
instance
和
那个 过程
是
located
在
客体
,
然后
实数
英寸汞
是
那个 客体
的
barometric
压力 和
那个 实数
是
lessThan
29.5
(=>
(
and
(
instance
?Stock
PennyStock
)
(
askPrice
?Stock
(
MeasureFn
?Price
UnitedStatesDollar
) ?Date))
(
lessThan
?Price 5))
FinancialOntology.kif 2208-2212
如果
客体
是
便士股票
的
instance
和
施事体
为了
那个 客体
asks
实数
美国美元
,
然后
那个 实数
是
lessThan
5
(=>
(
and
(
instance
?TC
TropicalCyclonicSystem
)
(
origin
?TC ?SEA)
(
or
(
instance
?SEA
NorthAtlanticOcean
)
(
instance
?SEA
PacificOcean
)
(
instance
?SEA
IndianOcean
)))
(
not
(
exists
(?AREA ?DIR ?NUM ?LONG)
(
and
(
located
?AREA ?SEA)
(
instance
?DIR
DirectionalAttribute
)
(
objectGeographicCoordinates
?AREA
(
LatitudeFn
?DIR
(
MeasureFn
?NUM
AngularDegree
)) ?LONG)
(
or
(
equal
?DIR
North
)
(
equal
?DIR
South
))
(
lessThan
?NUM 5.0)))))
Weather.kif 627-646
如果
过程
是
热带氣旋系统
的
instance
和
客体
是
那个 过程
的源头 和
那个 客体
是
北大西洋
的
instance
或
那个 客体
是
太平洋
的
instance
或
那个 客体
是
印度洋
的
instance
,
然后 不存在
另一个 客体
,
方向属性
,, ,
实数
, and 和
经度
这样
那个 另外 客体
是
located
在
那个 客体
和
那个 方向属性
是
方向属性
的
instance
和
那个 另外 客体
是 对于
那个 经度
的
object
地理座标
那个 实数
圆周角度
的
region
那个 方向属性
和
那个 方向属性
equal
北
或
那个 方向属性
equal
南
和
那个 实数
是
lessThan
5.0
(=>
(
and
(
instance
?UNIT
AreaMeasure
)
(
measure
Alaska
(
MeasureFn
?NUMBER1 ?UNIT))
(
measure
?STATE
(
MeasureFn
?NUMBER2 ?UNIT))
(
instance
?STATE
AmericanState
)
(
not
(
equal
Alaska
?STATE)))
(
lessThan
?NUMBER2 ?NUMBER1))
CountriesAndRegions.kif 871-878
如果
测量单位
是
面积测量
的
instance
和
阿拉斯加州
的
measure
是
实数
那个 测量单位
和
物理
的
measure
是
另一个 实数
那个 测量单位
和
那个 物理
是
美国国家
的
instance
和
阿拉斯加州
不
equal
那个 物理
,
然后
那个 另外 实数
是
lessThan
那个 实数
(=>
(
and
(
instance
?Uptick
Uptick
)
(
patient
?Uptick ?Stock)
(
equal
(
WhenFn
?Uptick) ?Time1)
(
instance
?U
UnitOfCurrency
)
(
price
?Stock
(
MeasureFn
?Price1 ?U) ?Time1))
(
exists
(?Transaction ?Time2 ?Price2)
(
and
(
instance
?Transaction
StockMarketTransaction
)
(
patient
?Transaction ?Stock)
(
equal
(
WhenFn
?Transaction) ?Time2)
(
meetsTemporally
?Time2 ?Time1)
(
price
?Stock
(
MeasureFn
?Price2 ?U) ?Time2)
(
lessThan
?Price2 ?Price1))))
FinancialOntology.kif 3212-3228
如果
过程
是
上扬
的
instance
和
物理
是
那个 过程
的
patient
和
那个 过程
出现 的
time
equal
施事体
和
测量单位
是
UnitOfCurrency
的
instance
和
那个 物理
是 对于
那个 施事体
的
price
实数
那个 测量单位
,
然后 有存在
另一个 过程
,
另一个 施事体
, and 和
另一个 实数
这样
那个 另外 过程
是
股市交易
的
instance
和
那个 物理
是
那个 另外 过程
的
patient
和
那个 另外 过程
出现 的
time
equal
那个 另外 施事体
和
那个 另外 施事体
接着
那个 施事体
和
那个 物理
是 对于
那个 另外 施事体
的
price
那个 另外 实数
那个 测量单位
和
那个 另外 实数
是
lessThan
那个 实数
(=>
(
and
(
instance
?WEARING
Erosion
)
(
instance
?LAND
LandForm
)
(
patient
?WEARING ?LAND)
(
instance
?U
UnitOfVolume
)
(
measure
?LAND
(
MeasureFn
?SIZE1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?WEARING))
(
exists
(?SIZE2)
(
and
(
measure
?LAND
(
MeasureFn
?SIZE2 ?U))
(
lessThan
?SIZE2 ?SIZE1)))))
Geography.kif 2689-2702
如果
过程
是
侵蚀
的
instance
和
物理
是
土地形式
的
instance
和
那个 物理
是
那个 过程
的
patient
和
测量单位
是
UnitOfVolume
的
instance
和
那个 物理
的
measure
是
实数
那个 测量单位
,
然后 有存在
实体
这样
那个 物理
的
measure
是
那个 实体
那个 测量单位
和
那个 实体
是
lessThan
那个 实数
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
and
(
instance
?WN
(
NetworkCommunicationFn
BluetoothNetwork
))
(
instance
?R
RadiatingElectromagnetic
)
(
subProcess
?R ?WN)
(
carrierFrequency
?R
(
MeasureFn
?W
(
GigaFn
Hertz
))))
(
and
(
greaterThan
?W 2.4)
(
lessThan
?W 2.485)))
ComputingBrands.kif 1579-1588
如果
过程
是 通信透过
Bluetooth 蓝芽网路
的
instance
和
辐射
是
辐射电磁
的
instance
和
那个 辐射
%n是
那个 过程
的
subProcess
和
那个 辐射
载波的频率是
实数
赫兹
的十亿倍 ,
然后
那个 实数
是
greaterThan
2.4 和
那个 实数
是
lessThan
2.485
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