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
ComputerProcess
は
DataCompression
の
instance
では %n
dataProcessed
ComputerProcess
and
DigitalData
memorySize
DigitalData
and
実数
の
エンティティー
(s) は
ComputerProcess
の
time
の existence の immediately
before
の
during
holds %n{ない}
memorySize
DigitalData
and
実数
の
エンティティー
(s) は
ComputerProcess
の
time
の existence の すぐ
after
の
during
holds %n{ない}
実数
は
実数
より
less
では %n
(=>
(
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
では %n
エンティティー
は
工程
の
patient
では %n
実数
実数
,
時間間隔
,
時間間隔
and
エンティティー
時間間隔
は
時間間隔
より
earlier
happens %n{ない}
エンティティー
の
measure
は
実数
の
エンティティー
(s) では %n は
時間間隔
の
during
holds %n{ない}
エンティティー
の
measure
は
実数
の
エンティティー
(s) では %n は
時間間隔
の
during
holds %n{ない}
実数
は
実数
より
less
では %n
(=>
(
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
では %n
工程
は
エンティティー
に
end
s %n{ない}
deliveryRegion
AutonomousAgent
and
地理的地域
AutonomousAgent
は
工程
の
agent
では %n が
実数
では 場合の
エンティティー
は
地理的地域
に
located
して %n の
probability
AutonomousAgent
は
工程
の
agent
では %n が
実数
では 場合の
エンティティー
は
地理的地域
に
located
して の
probability
実数
は
実数
より
less
では %n
(=>
(
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
工程
は
Deposition
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
の
measure
は
実数
の
Joule
(s) では %n は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない}
エンティティー
の
measure
は
実数
の
Joule
(s) では %n は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
実数
は
実数
より
less
では %n
(=>
(
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
工程
は
DrawingACheck
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
ProcessingACheck
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
の
time
の existence は
工程
Time と
equal
では %n
工程
の
time
の existence は
工程
Time と
equal
では %n
工程
Time は
時間間隔
に
meet
s %n{ない}
時間間隔
は
工程
Time に
meet
s %n{ない}
時間間隔
の
duration
は
実数
の
MonthDuration
(s) では %n
実数
は 6 より
less
では %n
(=>
(
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
工程
は
Fogging
の
instance
では %n
eventLocated
工程
and
地域
地域
は
地理的地域
の
instance
では %n
オブジェクト
は
AtmosphericRegion
の
instance
では %n
オブジェクト
は
Above
対
地域
では %n
オブジェクト
は
Aerosal
の
instance
では %n
locatedAtTime
オブジェクト
,
工程
の
time
の existence and
オブジェクト
visibilityInMeteorology
地域
,
工程
の
time
の existence and
実数
の
Meter
(s)
実数
は 1000.0 より
less
では %n
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T
(
and
(
attribute
?T
Hypothermia
)
(
coreBodyTemp
?H
(
MeasureFn
?N
CelsiusDegree
)))))
(
lessThan
?N 35.0))
Medicine.kif 651-659
エンティティー
は
人[人間]
の
instance
では %n
Hypothermia
は
時間位置
の
attribute
では %n
coreBodyTemp
エンティティー
and
実数
の
CelsiusDegree
(s) は
時間位置
の
during
holds %n{ない}
実数
は 35.0 より
less
では %n
(=>
(
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
工程
は
AtmosphericHazing
の
instance
では %n
eventLocated
工程
and
地域
地域
は
地理的地域
の
instance
では %n
オブジェクト
は
AtmosphericRegion
の
instance
では %n
オブジェクト
は
Above
対
地域
では %n
locatedAtTime
オブジェクト
,
工程
の
time
の existence and
オブジェクト
visibilityInMeteorology
地域
,
工程
の
time
の existence and
実数
の
Kilometer
(s)
実数
は 2.0 より
greater
では %n
実数
は 5.0 より
less
では %n
(=>
(
and
(
instance
?N
Network2G
)
(
bandwidth
?N
(
MeasureFn
?M
BitsPerSecond
)))
(
lessThan
?M 40000))
ComputingBrands.kif 1243-1248
ComputerNetwork
は
2G ネットワーク
の
instance
では %n
bandwidth
ComputerNetwork
and
実数
の
BitsPerSecond
(s)
実数
は 40000 より
less
では %n
(=>
(
and
(
instance
?N
Network3G
)
(
bandwidth
?N
(
MeasureFn
?M
BitsPerSecond
)))
(
lessThan
?M 200000))
ComputingBrands.kif 1288-1293
ComputerNetwork
は
3G
の
instance
では %n
bandwidth
ComputerNetwork
and
実数
の
BitsPerSecond
(s)
実数
は 200000 より
less
では %n
(=>
(
and
(
instance
?N
Network4G
)
(
bandwidth
?N
(
MeasureFn
?M
(
GigaFn
BitsPerSecond
))))
(
lessThan
?M 1))
ComputingBrands.kif 1335-1340
ComputerNetwork
は
4G ネットワーク
の
instance
では %n
bandwidth
ComputerNetwork
and
実数
の 1 の
billion
BitsPerSecond
s(s)
実数
は 1 より
less
では %n
(=>
(
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
工程
は
Oxidation
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
electronNumber
エンティティー
and
実数
は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
実数
実数
は
実数
より
less
では %n
electronNumber
エンティティー
and
実数
は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
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
では %n
オブジェクト
は
オブジェクト
に
located
して %n
オブジェクト
は
Tropics
の
instance
では %n
実数
Longitude
,
方向属性
,
実数
and
測定単位
objectGeographicCoordinates
オブジェクト
,
実数
の
測定単位
(s) and
Longitude
測定単位
は
UnitOfAngularMeasure
の
instance
では %n
実数
は
実数
より
less
では %n
実数
の
測定単位
(s) は
LatitudeFn
方向属性
, 23.0 の
AngularDegree
(s), 26.0 の
ArcMinute
(s) and 11.5 の
ArcSecond
(s) と
equal
では %n
方向属性
は
方向属性
の
instance
では %n
方向属性
は
North
と
equal
では %n
方向属性
は
South
と
equal
では %n
(=>
(
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
FinancialAccount
は
ProfitSharingPlan
の
instance
では %n
accountHolder
FinancialAccount
and
認識エージェント
AutonomousAgent
は
認識エージェント
を
employ
s %n{ない}
profit
金融取引
and
実数
の
測定単位
(s)
測定単位
は
UnitOfCurrency
の
instance
では %n
AutonomousAgent
は
金融取引
の
agent
では %n
実数
実数
AY
実数
AY は
金融取引
の
instance
では %n
transactionAmount
実数
AY and
実数
の
測定単位
(s)
実数
は
実数
より
less
では %n
実数
AY は
FinancialAccount
に
end
s %n{ない}
(=>
(
and
(
instance
?RAINFALL
Process
)
(
patient
?RAINFALL ?RAIN)
(
instance
?RAIN
Water
)
(
measure
?RAIN
(
MeasureFn
?PH
PHValue
)))
(
lessThan
?PH 5.6))
Geography.kif 2561-2567
工程
は
工程
の
instance
では %n
物理
は
工程
の
patient
では %n
物理
は
水
の
instance
では %n
物理
の
measure
は
実数
の
PHValue
(s) では %n
実数
は 5.6 より
less
では %n
(=>
(
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
工程
は
Saving
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
AutonomousAgent
は
工程
の
agent
では %n
実数
実数
and
エンティティー
エンティティー
は
UnitOfCurrency
の
instance
では %n
オブジェクト
の
value
は
実数
の
エンティティー
(s) では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
オブジェクト
の
value
は
実数
の
エンティティー
(s) では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
実数
は
実数
より
less
では %n
(=>
(
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
工程
は
BargainSale
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
オブジェクト
の
instance
では %n
実数
実数
,
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
UnitOfCurrency
の
instance
では %n
price
エンティティー
,
実数
の
エンティティー
(s) and
エンティティー
は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない}
price
エンティティー
,
実数
の
エンティティー
(s) and
エンティティー
は
工程
の
time
の existence の
during
holds %n{ない}
実数
は
実数
より
less
では %n
(=>
(
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
工程
は
LandSubsidence
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
は
土地面積
の
instance
では %n
測定単位
は
UnitOfLength
の
instance
では %n
elevation
オブジェクト
and
実数
の
測定単位
(s)
エンティティー
elevation
オブジェクト
and
エンティティー
の
測定単位
(s)
エンティティー
は
実数
より
less
では %n は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
and
(
instance
?SYSTEM
LowPressureWeatherSystem
)
(
eventLocated
?SYSTEM ?AREA))
(
and
(
barometricPressure
?AREA
(
MeasureFn
?AMOUNT
InchMercury
))
(
lessThan
?AMOUNT 29.5)))
Weather.kif 543-549
工程
は
LowPressureWeatherSystem
の
instance
では %n
eventLocated
工程
and
オブジェクト
barometricPressure
オブジェクト
and
実数
の
InchMercury
(s)
実数
は 29.5 より
less
では %n
(=>
(
and
(
instance
?Stock
PennyStock
)
(
askPrice
?Stock
(
MeasureFn
?Price
UnitedStatesDollar
) ?Date))
(
lessThan
?Price 5))
FinancialOntology.kif 2208-2212
オブジェクト
は
PennyStock
の
instance
では %n
askPrice
オブジェクト
,
実数
の
UnitedStatesDollar
(s) and
AutonomousAgent
実数
は 5 より
less
では %n
(=>
(
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
工程
は
TropicalCyclonicSystem
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
オブジェクト
は
NorthAtlanticOcean
の
instance
では %n
オブジェクト
は
PacificOcean
の
instance
では %n
オブジェクト
は
IndianOcean
の
instance
では %n
オブジェクト
方向属性
,
実数
and
Longitude
オブジェクト
は
オブジェクト
に
located
して %n
方向属性
は
方向属性
の
instance
では %n
objectGeographicCoordinates
オブジェクト
,
LatitudeFn
方向属性
and
実数
の
AngularDegree
(s) and
Longitude
方向属性
は
North
と
equal
では %n
方向属性
は
South
と
equal
では %n
実数
は 5.0 より
less
では %n
(=>
(
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
では %n
Alaska
の
measure
は
実数
の
測定単位
(s) では %n
物理
の
measure
は
実数
の
測定単位
(s) では %n
物理
は
AmericanState
の
instance
では %n
Alaska
は
物理
と
equal
では
実数
は
実数
より
less
では %n
(=>
(
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
工程
は
Uptick
の
instance
では %n
物理
は
工程
の
patient
では %n
工程
の
time
の existence は
AutonomousAgent
と
equal
では %n
測定単位
は
UnitOfCurrency
の
instance
では %n
price
物理
,
実数
の
測定単位
(s) and
AutonomousAgent
工程
AutonomousAgent
and
実数
工程
は
StockMarketTransaction
の
instance
では %n
物理
は
工程
の
patient
では %n
工程
の
time
の existence は
AutonomousAgent
と
equal
では %n
AutonomousAgent
は
AutonomousAgent
に
meet
s %n{ない}
price
物理
,
実数
の
測定単位
(s) and
AutonomousAgent
実数
は
実数
より
less
では %n
(=>
(
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
工程
は
Erosion
の
instance
では %n
物理
は
LandForm
の
instance
では %n
物理
は
工程
の
patient
では %n
測定単位
は
UnitOfVolume
の
instance
では %n
物理
の
measure
は
実数
の
測定単位
(s) では %n
エンティティー
物理
の
measure
は
エンティティー
の
測定単位
(s) では %n
エンティティー
は
実数
より
less
では %n は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
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
工程
は %1 を介した通信 の
instance
では %n
放射
は
RadiatingElectromagnetic
の
instance
では %n
放射
は
工程
% の
subprocess
では %n
放射
の搬送波周波数は
実数
の 1 の
billion
Hertz
s(s)
実数
は 2.4 より
greater
では %n
実数
は 2.485 より
less
では %n
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