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
例
電腦程序
and
數據壓縮
數字數據
是由
電腦程序
processed
持有期間
不久的過去
何時
電腦程序
and
數字數據
requires
測量
RealNumber
and
entity
持有期間
眼前的未來
何時
電腦程序
and
數字數據
requires
測量
RealNumber
and
entity
少於
RealNumber
and
RealNumber
(=>
(
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
例
Process
and
Decreasing
患者
Process
and
Entity
RealNumber
RealNumber
,
TimeInterval
,
TimeInterval
and
entity
早期
TimeInterval
and
TimeInterval
持有期間
TimeInterval
and
測量
Entity
and
測量
RealNumber
and
entity
持有期間
TimeInterval
and
測量
Entity
and
測量
RealNumber
and
entity
少於
RealNumber
and
RealNumber
(=>
(
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
例
Process
and
DeliveryService
目的地
Process
and
Entity
GeographicArea
是
AutonomousAgent
的
delivery
區域
條件概率
位於
Entity
and
GeographicArea
,
agent
Process
and
AutonomousAgent
and
RealNumber
條件概率
位於
Entity
and
GeographicArea
,
agent
Process
and
AutonomousAgent
and
RealNumber
少於
RealNumber
and
RealNumber
(=>
(
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
例
Process
and
Deposition
患者
Process
and
Entity
持有期間
不久的過去
何時
Process
and
測量
Entity
and
測量
RealNumber
and
焦耳
持有期間
眼前的未來
何時
Process
and
測量
Entity
and
測量
RealNumber
and
焦耳
少於
RealNumber
and
RealNumber
(=>
(
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
例
Process
and
畫一張支票
患者
Process
and
Entity
例
Process
and
處理檢查
患者
Process
and
Entity
等於
何時
Process
and
Process
Time
等於
何時
Process
and
Process
Time
短暫相遇
Process
Time and
TimeInterval
短暫相遇
TimeInterval
and
Process
Time
持續時間
TimeInterval
and
測量
RealNumber
and
月持續時間
少於
RealNumber
and 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
例
Process
and
Fogging
Process
是
located
在
Region
例
Region
and
GeographicArea
例
Object
and
大氣地區
方位
Object
,
Region
and
以上
例
Object
and
Aerosal
Object
對於
Object
在時間
何時
Process
located
visibility
在
Region
期間
何時
Process
是
測量
RealNumber
and
儀表
少於
RealNumber
and 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
例
Entity
and
Human
持有期間
TimePosition
and
attribute
TimePosition
and
Hypothermia
coreBodyTemp
Entity
and
測量
RealNumber
and
攝氏度
少於
RealNumber
and 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
例
Process
and
AtmosphericHazing
Process
是
located
在
Region
例
Region
and
GeographicArea
例
Object
and
大氣地區
方位
Object
,
Region
and
以上
Object
對於
Object
在時間
何時
Process
located
visibility
在
Region
期間
何時
Process
是
測量
RealNumber
and
公里
比較多
RealNumber
and 2.0
少於
RealNumber
and 5.0
(=>
(
and
(
instance
?N
Network2G
)
(
bandwidth
?N
(
MeasureFn
?M
BitsPerSecond
)))
(
lessThan
?M 40000))
ComputingBrands.kif 1243-1248
例
計算機網絡
and
2G 網路
測量
RealNumber
and
每秒位數
是
計算機網絡
的
bandwidth
少於
RealNumber
and 40000
(=>
(
and
(
instance
?N
Network3G
)
(
bandwidth
?N
(
MeasureFn
?M
BitsPerSecond
)))
(
lessThan
?M 200000))
ComputingBrands.kif 1288-1293
例
計算機網絡
and
3G 網路
測量
RealNumber
and
每秒位數
是
計算機網絡
的
bandwidth
少於
RealNumber
and 200000
(=>
(
and
(
instance
?N
Network4G
)
(
bandwidth
?N
(
MeasureFn
?M
(
GigaFn
BitsPerSecond
))))
(
lessThan
?M 1))
ComputingBrands.kif 1335-1340
例
計算機網絡
and
4G 網路
測量
RealNumber
and
千兆
每秒位數
是
計算機網絡
的
bandwidth
少於
RealNumber
and 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
例
Process
and
氧化
患者
Process
and
Entity
持有期間
開始
何時
Process
and
RealNumber
是
Entity
的
electron
號碼
RealNumber
少於
RealNumber
and
RealNumber
持有期間
結束
何時
Process
and
RealNumber
是
Entity
的
electron
號碼
(=>
(
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
例
Object
and
GeographicArea
位於
Object
and
Object
例
Object
and
熱帶
RealNumber
經度
,
DirectionalAttribute
,
RealNumber
and
UnitOfMeasure
Object
是 對於
經度
的
object
地理座標
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfAngularMeasure
少於
RealNumber
and
RealNumber
等於
測量
RealNumber
and
UnitOfMeasure
and
測量
23.0 and
圓周角度
的
region
DirectionalAttribute
例
DirectionalAttribute
and
DirectionalAttribute
等於
DirectionalAttribute
and
北
等於
DirectionalAttribute
and
南
(=>
(
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
例
金融賬戶
and
利潤分享計劃
CognitiveAgent
持有
account
金融賬戶
採用
AutonomousAgent
and
CognitiveAgent
從
FinancialTransaction
的
profit
是
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfCurrency
agent
FinancialTransaction
and
AutonomousAgent
RealNumber
RealNumber
AY
例
RealNumber
AY and
FinancialTransaction
測量
RealNumber
and
UnitOfMeasure
是
RealNumber
AY 的
transaction
總額
少於
RealNumber
and
RealNumber
目的地
RealNumber
AY and
金融賬戶
(=>
(
and
(
instance
?RAINFALL
Process
)
(
patient
?RAINFALL ?RAIN)
(
instance
?RAIN
Water
)
(
measure
?RAIN
(
MeasureFn
?PH
PHValue
)))
(
lessThan
?PH 5.6))
Geography.kif 2561-2567
例
Process
and
Process
患者
Process
and
Physical
例
Physical
and
Water
測量
Physical
and
測量
RealNumber
and
酸鹼度
少於
RealNumber
and 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
例
Process
and
保存
患者
Process
and
Object
agent
Process
and
AutonomousAgent
RealNumber
RealNumber
and
Entity
例
Entity
and
UnitOfCurrency
持有期間
開始
何時
Process
and
貨幣價值
Object
and
測量
RealNumber
and
Entity
持有期間
結束
何時
Process
and
貨幣價值
Object
and
測量
RealNumber
and
Entity
擁有
AutonomousAgent
and
Object
少於
RealNumber
and
RealNumber
(=>
(
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
例
Process
and
廉價出售
患者
Process
and
Entity
例
Entity
and
Object
RealNumber
RealNumber
,
entity
,
entity
and
Entity
例
Entity
and
UnitOfCurrency
持有期間
不久的過去
何時
Process
and
Entity
是 對於
entity
的
price
測量
RealNumber
and
Entity
持有期間
何時
Process
and
Entity
是 對於
entity
的
price
測量
RealNumber
and
Entity
少於
RealNumber
and
RealNumber
(=>
(
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
例
Process
and
地面沉降
患者
Process
and
Object
例
Object
and
LandArea
例
UnitOfMeasure
and
UnitOfLength
測量
RealNumber
and
UnitOfMeasure
是
Object
的
elevation
持有期間
眼前的未來
何時
Process
and
entity
測量
entity
and
UnitOfMeasure
是
Object
的
elevation
少於
entity
and
RealNumber
(=>
(
and
(
instance
?SYSTEM
LowPressureWeatherSystem
)
(
eventLocated
?SYSTEM ?AREA))
(
and
(
barometricPressure
?AREA
(
MeasureFn
?AMOUNT
InchMercury
))
(
lessThan
?AMOUNT 29.5)))
Weather.kif 543-549
例
Process
and
低壓天氣系統
Process
是
located
在
Object
測量
RealNumber
and
英寸汞
是
Object
的
barometric
壓力
少於
RealNumber
and 29.5
(=>
(
and
(
instance
?Stock
PennyStock
)
(
askPrice
?Stock
(
MeasureFn
?Price
UnitedStatesDollar
) ?Date))
(
lessThan
?Price 5))
FinancialOntology.kif 2208-2212
例
Object
and
便士股票
AutonomousAgent
為了
Object
asks
測量
RealNumber
and
美國美元
少於
RealNumber
and 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
例
Process
and
TropicalCyclonicSystem
起源
Process
and
Object
例
Object
and
北大西洋
例
Object
and
太平洋
例
Object
and
印度洋
Object
DirectionalAttribute
,
RealNumber
and
經度
位於
Object
and
Object
例
DirectionalAttribute
and
DirectionalAttribute
Object
是 對於
經度
的
object
地理座標
測量
RealNumber
and
圓周角度
的
region
DirectionalAttribute
等於
DirectionalAttribute
and
北
等於
DirectionalAttribute
and
南
少於
RealNumber
and 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
例
UnitOfMeasure
and
AreaMeasure
測量
阿拉斯加州
and
測量
RealNumber
and
UnitOfMeasure
測量
Physical
and
測量
RealNumber
and
UnitOfMeasure
例
Physical
and
美國國家
等於
阿拉斯加州
and
Physical
少於
RealNumber
and
RealNumber
(=>
(
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
例
Process
and
上揚
患者
Process
and
Physical
等於
何時
Process
and
AutonomousAgent
例
UnitOfMeasure
and
UnitOfCurrency
Physical
是 對於
AutonomousAgent
的
price
測量
RealNumber
and
UnitOfMeasure
Process
AutonomousAgent
and
RealNumber
例
Process
and
股市交易
患者
Process
and
Physical
等於
何時
Process
and
AutonomousAgent
短暫相遇
AutonomousAgent
and
AutonomousAgent
Physical
是 對於
AutonomousAgent
的
price
測量
RealNumber
and
UnitOfMeasure
少於
RealNumber
and
RealNumber
(=>
(
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
例
Process
and
侵蝕
例
Physical
and
土地形式
患者
Process
and
Physical
例
UnitOfMeasure
and
UnitOfVolume
測量
Physical
and
測量
RealNumber
and
UnitOfMeasure
持有期間
眼前的未來
何時
Process
and
entity
測量
Physical
and
測量
entity
and
UnitOfMeasure
少於
entity
and
RealNumber
(=>
(
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
例
Process
and 通信透過
藍芽網路
例
Radiating
and
輻射電磁
子過程
Radiating
and
Process
Radiating
載波的頻率是
測量
RealNumber
and
千兆
赫茲
比較多
RealNumber
and 2.4
少於
RealNumber
and 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