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
est une
instance
de
DataCompression
dataProcessed
ComputerProcess
and
DigitalData
memorySize
DigitalData
and
nombre r�el
entit�
(s)
pendant
immediatement
avant
temps
d'existence de
ComputerProcess
memorySize
DigitalData
and
nombre r�el
entit�
(s)
pendant
immediatement
apr
�s
temps
d'existence de
ComputerProcess
nombre r�el
est
moins
que
nombre r�el
(=>
(
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
Processus
est une
instance
de
diminuer
entit�
est un
patient
de
processus
nombre r�el
nombre r�el
,
interval temporel
,
interval temporel
and
entit�
interval temporel
arrive
plus
t�t que
interval temporel
la
mesure
de
entit�
est
nombre r�el
entit�
(s)
pendant
interval temporel
la
mesure
de
entit�
est
nombre r�el
entit�
(s)
pendant
interval temporel
nombre r�el
est
moins
que
nombre r�el
(=>
(
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
Processus
est une
instance
de
DeliveryService
processus
aboutit
�
entit�
deliveryRegion
AutonomousAgent
and
secteur g�ographique
la
probabilit
� de
entit�
est
situ
� �
secteur g�ographique
pourvu que
processus
est un
agent
de
AutonomousAgent
vaut
nombre r�el
la
probabilit
� de
entit�
est
situ
� �
secteur g�ographique
pourvu que
processus
est un
agent
de
AutonomousAgent
vaut
nombre r�el
nombre r�el
est
moins
que
nombre r�el
(=>
(
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
Processus
est une
instance
de
Deposition
entit�
est un
patient
de
processus
la
mesure
de
entit�
est
nombre r�el
Joule
(s)
pendant
immediatement
avant
temps
d'existence de
processus
la
mesure
de
entit�
est
nombre r�el
Joule
(s)
pendant
immediatement
apr
�s
temps
d'existence de
processus
nombre r�el
est
moins
que
nombre r�el
(=>
(
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
Processus
est une
instance
de
DrawingACheck
entit�
est un
patient
de
processus
processus
est une
instance
de
ProcessingACheck
entit�
est un
patient
de
processus
temps
d'existence de
processus
est
processus
Time
temps
d'existence de
processus
est
processus
Time
processus
Time
rencontre
interval temporel
interval temporel
rencontre
processus
Time la
dur
�� de
interval temporel
est
nombre r�el
MonthDuration
(s)
nombre r�el
est
moins
que 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
Processus
est une
instance
de
Fogging
eventLocated
processus
and
r�gion
r�gion
est une
instance
de
secteur g�ographique
objet
est une
instance
de
AtmosphericRegion
objet
est
Above
�
r�gion
objet
est une
instance
de
Aerosal
locatedAtTime
objet
,
temps
d'existence de
processus
and
objet
visibilityInMeteorology
r�gion
,
temps
d'existence de
processus
and
nombre r�el
Meter
(s)
nombre r�el
est
moins
que 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
Entit�
est une
instance
de
humain
Hypothermia
est un
attribut
de
position temporel
coreBodyTemp
entit�
and
nombre r�el
CelsiusDegree
(s)
pendant
position temporel
nombre r�el
est
moins
que 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
Processus
est une
instance
de
AtmosphericHazing
eventLocated
processus
and
r�gion
r�gion
est une
instance
de
secteur g�ographique
objet
est une
instance
de
AtmosphericRegion
objet
est
Above
�
r�gion
locatedAtTime
objet
,
temps
d'existence de
processus
and
objet
visibilityInMeteorology
r�gion
,
temps
d'existence de
processus
and
nombre r�el
Kilometer
(s)
nombre r�el
est
plus
grand
que 2.0
nombre r�el
est
moins
que 5.0
(=>
(
and
(
instance
?N
Network2G
)
(
bandwidth
?N
(
MeasureFn
?M
BitsPerSecond
)))
(
lessThan
?M 40000))
ComputingBrands.kif 1243-1248
ComputerNetwork
est une
instance
de
Network2G
bandwidth
ComputerNetwork
and
nombre r�el
BitsPerSecond
(s)
nombre r�el
est
moins
que 40000
(=>
(
and
(
instance
?N
Network3G
)
(
bandwidth
?N
(
MeasureFn
?M
BitsPerSecond
)))
(
lessThan
?M 200000))
ComputingBrands.kif 1288-1293
ComputerNetwork
est une
instance
de
Network3G
bandwidth
ComputerNetwork
and
nombre r�el
BitsPerSecond
(s)
nombre r�el
est
moins
que 200000
(=>
(
and
(
instance
?N
Network4G
)
(
bandwidth
?N
(
MeasureFn
?M
(
GigaFn
BitsPerSecond
))))
(
lessThan
?M 1))
ComputingBrands.kif 1335-1340
ComputerNetwork
est une
instance
de
Network4G
bandwidth
ComputerNetwork
and
nombre r�el
1
billion
BitsPerSecond
s (s)
nombre r�el
est
moins
que 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
Processus
est une
instance
de
Oxidation
entit�
est un
patient
de
processus
electronNumber
entit�
and
nombre r�el
pendant
le
d
�but de
temps
d'existence de
processus
nombre r�el
nombre r�el
est
moins
que
nombre r�el
electronNumber
entit�
and
nombre r�el
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
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
Objet
est une
instance
de
secteur g�ographique
objet
est
situ
� �
objet
objet
est une
instance
de
Tropics
nombre r�el
Longitude
,
attribut directionnel
,
nombre r�el
and
unit� de mesure
objectGeographicCoordinates
objet
,
nombre r�el
unit� de mesure
(s) and
Longitude
unit� de mesure
est une
instance
de
UnitOfAngularMeasure
nombre r�el
est
moins
que
nombre r�el
nombre r�el
unit� de mesure
(s) est
LatitudeFn
attribut directionnel
, 23.0
AngularDegree
(s), 26.0
ArcMinute
(s) and 11.5
ArcSecond
(s)
attribut directionnel
est une
instance
de
attribut directionnel
attribut directionnel
est
North
attribut directionnel
est
South
(=>
(
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
est une
instance
de
ProfitSharingPlan
accountHolder
FinancialAccount
and
agent cognitif
AutonomousAgent
emploie
agent cognitif
profit
financial transaction
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfCurrency
financial transaction
est un
agent
de
AutonomousAgent
nombre r�el
nombre r�el
AY
nombre r�el
AY est une
instance
de
financial transaction
transactionAmount
nombre r�el
AY and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
moins
que
nombre r�el
nombre r�el
AY
aboutit
�
FinancialAccount
(=>
(
and
(
instance
?RAINFALL
Process
)
(
patient
?RAINFALL ?RAIN)
(
instance
?RAIN
Water
)
(
measure
?RAIN
(
MeasureFn
?PH
PHValue
)))
(
lessThan
?PH 5.6))
Geography.kif 2561-2567
Processus
est une
instance
de
processus
physique
est un
patient
de
processus
physique
est une
instance
de
eau
la
mesure
de
physique
est
nombre r�el
PHValue
(s)
nombre r�el
est
moins
que 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
Processus
est une
instance
de
Saving
objet
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
nombre r�el
nombre r�el
and
entit�
entit�
est une
instance
de
UnitOfCurrency
valeur
de
objet
est
nombre r�el
entit�
(s)
pendant
le
d
�but de
temps
d'existence de
processus
valeur
de
objet
est
nombre r�el
entit�
(s)
pendant
la
fin
de
temps
d'existence de
processus
AutonomousAgent
poss
�de
objet
nombre r�el
est
moins
que
nombre r�el
(=>
(
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
Processus
est une
instance
de
BargainSale
entit�
est un
patient
de
processus
entit�
est une
instance
de
objet
nombre r�el
nombre r�el
,
entit�
,
entit�
and
entit�
entit�
est une
instance
de
UnitOfCurrency
price
entit�
,
nombre r�el
entit�
(s) and
entit�
pendant
immediatement
avant
temps
d'existence de
processus
price
entit�
,
nombre r�el
entit�
(s) and
entit�
pendant
temps
d'existence de
processus
nombre r�el
est
moins
que
nombre r�el
(=>
(
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
Processus
est une
instance
de
LandSubsidence
objet
est un
patient
de
processus
objet
est une
instance
de
zone de terre
unit� de mesure
est une
instance
de
UnitOfLength
elevation
objet
and
nombre r�el
unit� de mesure
(s)
entit�
elevation
objet
and
entit�
unit� de mesure
(s)
entit�
est
moins
que
nombre r�el
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
and
(
instance
?SYSTEM
LowPressureWeatherSystem
)
(
eventLocated
?SYSTEM ?AREA))
(
and
(
barometricPressure
?AREA
(
MeasureFn
?AMOUNT
InchMercury
))
(
lessThan
?AMOUNT 29.5)))
Weather.kif 543-549
Processus
est une
instance
de
LowPressureWeatherSystem
eventLocated
processus
and
objet
barometricPressure
objet
and
nombre r�el
InchMercury
(s)
nombre r�el
est
moins
que 29.5
(=>
(
and
(
instance
?Stock
PennyStock
)
(
askPrice
?Stock
(
MeasureFn
?Price
UnitedStatesDollar
) ?Date))
(
lessThan
?Price 5))
FinancialOntology.kif 2208-2212
Objet
est une
instance
de
PennyStock
askPrice
objet
,
nombre r�el
UnitedStatesDollar
(s) and
AutonomousAgent
nombre r�el
est
moins
que 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
Processus
est une
instance
de
TropicalCyclonicSystem
processus
a pour
origine
objet
objet
est une
instance
de
NorthAtlanticOcean
objet
est une
instance
de
PacificOcean
objet
est une
instance
de
IndianOcean
objet
attribut directionnel
,
nombre r�el
and
Longitude
objet
est
situ
� �
objet
attribut directionnel
est une
instance
de
attribut directionnel
objectGeographicCoordinates
objet
,
LatitudeFn
attribut directionnel
and
nombre r�el
AngularDegree
(s) and
Longitude
attribut directionnel
est
North
attribut directionnel
est
South
nombre r�el
est
moins
que 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
Unit� de mesure
est une
instance
de
mesure d'aire
la
mesure
de
Alaska
est
nombre r�el
unit� de mesure
(s) la
mesure
de
physique
est
nombre r�el
unit� de mesure
(s)
physique
est une
instance
de
AmericanState
Alaska
est
physique
nombre r�el
est
moins
que
nombre r�el
(=>
(
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
Processus
est une
instance
de
Uptick
physique
est un
patient
de
processus
temps
d'existence de
processus
est
AutonomousAgent
unit� de mesure
est une
instance
de
UnitOfCurrency
price
physique
,
nombre r�el
unit� de mesure
(s) and
AutonomousAgent
processus
AutonomousAgent
and
nombre r�el
processus
est une
instance
de
StockMarketTransaction
physique
est un
patient
de
processus
temps
d'existence de
processus
est
AutonomousAgent
AutonomousAgent
rencontre
AutonomousAgent
price
physique
,
nombre r�el
unit� de mesure
(s) and
AutonomousAgent
nombre r�el
est
moins
que
nombre r�el
(=>
(
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
Processus
est une
instance
de
Erosion
physique
est une
instance
de
LandForm
physique
est un
patient
de
processus
unit� de mesure
est une
instance
de
UnitOfVolume
la
mesure
de
physique
est
nombre r�el
unit� de mesure
(s)
entit�
la
mesure
de
physique
est
entit�
unit� de mesure
(s)
entit�
est
moins
que
nombre r�el
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
NetworkCommunicationFn
BluetoothNetwork
irradier
est une
instance
de
RadiatingElectromagnetic
irradier
est un
sous
-processus de
processus
carrierFrequency
irradier
and
nombre r�el
1
billion
Hertz
s (s)
nombre r�el
est
plus
grand
que 2.4
nombre r�el
est
moins
que 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