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
e' uma
instancia
de
DataCompression
dataProcessed
ComputerProcess
and
DigitalData
memorySize
DigitalData
and
Numero Real
Entidade
(s)
vale
durante imediatemente
antes
de
tempo
de existencia de
ComputerProcess
memorySize
DigitalData
and
Numero Real
Entidade
(s)
vale
durante imediatemente
apos
tempo
de existencia de
ComputerProcess
Numero Real
e'
menos
que
Numero Real
(=>
(
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
Processo
e' uma
instancia
de
Diminuir
Entidade
e' um
patient
de
Processo
Numero Real
Numero Real
,
Intervalo Temporal
,
Intervalo Temporal
and
Entidade
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
a
medida
de
Entidade
e'
Numero Real
Entidade
(s)
vale
durante
Intervalo Temporal
a
medida
de
Entidade
e'
Numero Real
Entidade
(s)
vale
durante
Intervalo Temporal
Numero Real
e'
menos
que
Numero Real
(=>
(
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
Processo
e' uma
instancia
de
DeliveryService
Processo
termina
em
Entidade
deliveryRegion
AutonomousAgent
and
Area Geografica
a
probabilidade
de
Entidade
e'
situado
em
Area Geografica
sabendo que
Processo
e' um
agente
de
AutonomousAgent
vale e'
Numero Real
a
probabilidade
de
Entidade
e'
situado
em
Area Geografica
sabendo que
Processo
e' um
agente
de
AutonomousAgent
vale e'
Numero Real
Numero Real
e'
menos
que
Numero Real
(=>
(
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
Processo
e' uma
instancia
de
Deposition
Entidade
e' um
patient
de
Processo
a
medida
de
Entidade
e'
Numero Real
Joule
(s)
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
a
medida
de
Entidade
e'
Numero Real
Joule
(s)
vale
durante imediatemente
apos
tempo
de existencia de
Processo
Numero Real
e'
menos
que
Numero Real
(=>
(
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
Processo
e' uma
instancia
de
DrawingACheck
Entidade
e' um
patient
de
Processo
Processo
e' uma
instancia
de
ProcessingACheck
Entidade
e' um
patient
de
Processo
tempo
de existencia de
Processo
e'
igual
a
Processo
Time
tempo
de existencia de
Processo
e'
igual
a
Processo
Time
Processo
Time
encontra
Intervalo Temporal
Intervalo Temporal
encontra
Processo
Time a
duracao
de
Intervalo Temporal
e'
Numero Real
MonthDuration
(s)
Numero Real
e'
menos
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
Processo
e' uma
instancia
de
Fogging
eventLocated
Processo
and
Regiao
Regiao
e' uma
instancia
de
Area Geografica
Objeto
e' uma
instancia
de
AtmosphericRegion
Objeto
e'
Above
em relacao a
Regiao
Objeto
e' uma
instancia
de
Aerosal
locatedAtTime
Objeto
,
tempo
de existencia de
Processo
and
Objeto
visibilityInMeteorology
Regiao
,
tempo
de existencia de
Processo
and
Numero Real
Meter
(s)
Numero Real
e'
menos
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
Entidade
e' uma
instancia
de
Humano
Hypothermia
e' um
atributo
de
Posicao Temporal
coreBodyTemp
Entidade
and
Numero Real
CelsiusDegree
(s)
vale
durante
Posicao Temporal
Numero Real
e'
menos
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
Processo
e' uma
instancia
de
AtmosphericHazing
eventLocated
Processo
and
Regiao
Regiao
e' uma
instancia
de
Area Geografica
Objeto
e' uma
instancia
de
AtmosphericRegion
Objeto
e'
Above
em relacao a
Regiao
locatedAtTime
Objeto
,
tempo
de existencia de
Processo
and
Objeto
visibilityInMeteorology
Regiao
,
tempo
de existencia de
Processo
and
Numero Real
Kilometer
(s)
Numero Real
e'
maior
que 2.0
Numero Real
e'
menos
que 5.0
(=>
(
and
(
instance
?N
Network2G
)
(
bandwidth
?N
(
MeasureFn
?M
BitsPerSecond
)))
(
lessThan
?M 40000))
ComputingBrands.kif 1243-1248
ComputerNetwork
e' uma
instancia
de
Network2G
bandwidth
ComputerNetwork
and
Numero Real
BitsPerSecond
(s)
Numero Real
e'
menos
que 40000
(=>
(
and
(
instance
?N
Network3G
)
(
bandwidth
?N
(
MeasureFn
?M
BitsPerSecond
)))
(
lessThan
?M 200000))
ComputingBrands.kif 1288-1293
ComputerNetwork
e' uma
instancia
de
Network3G
bandwidth
ComputerNetwork
and
Numero Real
BitsPerSecond
(s)
Numero Real
e'
menos
que 200000
(=>
(
and
(
instance
?N
Network4G
)
(
bandwidth
?N
(
MeasureFn
?M
(
GigaFn
BitsPerSecond
))))
(
lessThan
?M 1))
ComputingBrands.kif 1335-1340
ComputerNetwork
e' uma
instancia
de
Network4G
bandwidth
ComputerNetwork
and
Numero Real
1
bilhao
BitsPerSecond
s (s)
Numero Real
e'
menos
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
Processo
e' uma
instancia
de
Oxidation
Entidade
e' um
patient
de
Processo
electronNumber
Entidade
and
Numero Real
vale
durante o
comeco
de
tempo
de existencia de
Processo
Numero Real
Numero Real
e'
menos
que
Numero Real
electronNumber
Entidade
and
Numero Real
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
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
Objeto
e' uma
instancia
de
Area Geografica
Objeto
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
Tropics
Numero Real
Longitude
,
Atributo Directional
,
Numero Real
and
Unidade de Medida
objectGeographicCoordinates
Objeto
,
Numero Real
Unidade de Medida
(s) and
Longitude
Unidade de Medida
e' uma
instancia
de
UnitOfAngularMeasure
Numero Real
e'
menos
que
Numero Real
Numero Real
Unidade de Medida
(s) e'
igual
a
LatitudeFn
Atributo Directional
, 23.0
AngularDegree
(s), 26.0
ArcMinute
(s) and 11.5
ArcSecond
(s)
Atributo Directional
e' uma
instancia
de
Atributo Directional
Atributo Directional
e'
igual
a
North
Atributo Directional
e'
igual
a
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
e' uma
instancia
de
ProfitSharingPlan
accountHolder
FinancialAccount
and
Agente Cognitivo
AutonomousAgent
emprega
Agente Cognitivo
profit
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
Transacao Financeira
e' um
agente
de
AutonomousAgent
Numero Real
Numero Real
AY
Numero Real
AY e' uma
instancia
de
Transacao Financeira
transactionAmount
Numero Real
AY and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
menos
que
Numero Real
Numero Real
AY
termina
em
FinancialAccount
(=>
(
and
(
instance
?RAINFALL
Process
)
(
patient
?RAINFALL ?RAIN)
(
instance
?RAIN
Water
)
(
measure
?RAIN
(
MeasureFn
?PH
PHValue
)))
(
lessThan
?PH 5.6))
Geography.kif 2561-2567
Processo
e' uma
instancia
de
Processo
Fisico
e' um
patient
de
Processo
Fisico
e' uma
instancia
de
Agua
a
medida
de
Fisico
e'
Numero Real
PHValue
(s)
Numero Real
e'
menos
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
Processo
e' uma
instancia
de
Saving
Objeto
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
Numero Real
Numero Real
and
Entidade
Entidade
e' uma
instancia
de
UnitOfCurrency
o
valor
de
Objeto
e'
Numero Real
Entidade
(s)
vale
durante o
comeco
de
tempo
de existencia de
Processo
o
valor
de
Objeto
e'
Numero Real
Entidade
(s)
vale
durante o
fim
de
tempo
de existencia de
Processo
AutonomousAgent
possui
Objeto
Numero Real
e'
menos
que
Numero Real
(=>
(
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
Processo
e' uma
instancia
de
BargainSale
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Objeto
Numero Real
Numero Real
,
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
UnitOfCurrency
price
Entidade
,
Numero Real
Entidade
(s) and
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
price
Entidade
,
Numero Real
Entidade
(s) and
Entidade
vale
durante
tempo
de existencia de
Processo
Numero Real
e'
menos
que
Numero Real
(=>
(
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
Processo
e' uma
instancia
de
LandSubsidence
Objeto
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
Area terrestre
Unidade de Medida
e' uma
instancia
de
UnitOfLength
elevation
Objeto
and
Numero Real
Unidade de Medida
(s)
Entidade
elevation
Objeto
and
Entidade
Unidade de Medida
(s)
Entidade
e'
menos
que
Numero Real
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
and
(
instance
?SYSTEM
LowPressureWeatherSystem
)
(
eventLocated
?SYSTEM ?AREA))
(
and
(
barometricPressure
?AREA
(
MeasureFn
?AMOUNT
InchMercury
))
(
lessThan
?AMOUNT 29.5)))
Weather.kif 543-549
Processo
e' uma
instancia
de
LowPressureWeatherSystem
eventLocated
Processo
and
Objeto
barometricPressure
Objeto
and
Numero Real
InchMercury
(s)
Numero Real
e'
menos
que 29.5
(=>
(
and
(
instance
?Stock
PennyStock
)
(
askPrice
?Stock
(
MeasureFn
?Price
UnitedStatesDollar
) ?Date))
(
lessThan
?Price 5))
FinancialOntology.kif 2208-2212
Objeto
e' uma
instancia
de
PennyStock
askPrice
Objeto
,
Numero Real
UnitedStatesDollar
(s) and
AutonomousAgent
Numero Real
e'
menos
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
Processo
e' uma
instancia
de
TropicalCyclonicSystem
Processo
tem como
origem
Objeto
Objeto
e' uma
instancia
de
NorthAtlanticOcean
Objeto
e' uma
instancia
de
PacificOcean
Objeto
e' uma
instancia
de
IndianOcean
Objeto
Atributo Directional
,
Numero Real
and
Longitude
Objeto
e'
situado
em
Objeto
Atributo Directional
e' uma
instancia
de
Atributo Directional
objectGeographicCoordinates
Objeto
,
LatitudeFn
Atributo Directional
and
Numero Real
AngularDegree
(s) and
Longitude
Atributo Directional
e'
igual
a
North
Atributo Directional
e'
igual
a
South
Numero Real
e'
menos
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
Unidade de Medida
e' uma
instancia
de
Medida de Area
a
medida
de
Alaska
e'
Numero Real
Unidade de Medida
(s) a
medida
de
Fisico
e'
Numero Real
Unidade de Medida
(s)
Fisico
e' uma
instancia
de
AmericanState
Alaska
e'
igual
a
Fisico
Numero Real
e'
menos
que
Numero Real
(=>
(
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
Processo
e' uma
instancia
de
Uptick
Fisico
e' um
patient
de
Processo
tempo
de existencia de
Processo
e'
igual
a
AutonomousAgent
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
price
Fisico
,
Numero Real
Unidade de Medida
(s) and
AutonomousAgent
Processo
AutonomousAgent
and
Numero Real
Processo
e' uma
instancia
de
StockMarketTransaction
Fisico
e' um
patient
de
Processo
tempo
de existencia de
Processo
e'
igual
a
AutonomousAgent
AutonomousAgent
encontra
AutonomousAgent
price
Fisico
,
Numero Real
Unidade de Medida
(s) and
AutonomousAgent
Numero Real
e'
menos
que
Numero Real
(=>
(
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
Processo
e' uma
instancia
de
Erosion
Fisico
e' uma
instancia
de
LandForm
Fisico
e' um
patient
de
Processo
Unidade de Medida
e' uma
instancia
de
UnitOfVolume
a
medida
de
Fisico
e'
Numero Real
Unidade de Medida
(s)
Entidade
a
medida
de
Fisico
e'
Entidade
Unidade de Medida
(s)
Entidade
e'
menos
que
Numero Real
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
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
Processo
e' uma
instancia
de
NetworkCommunicationFn
BluetoothNetwork
Irradiar
e' uma
instancia
de
RadiatingElectromagnetic
Irradiar
e' um
sub
-processo de
Processo
carrierFrequency
Irradiar
and
Numero Real
1
bilhao
Hertz
s (s)
Numero Real
e'
maior
que 2.4
Numero Real
e'
menos
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