lessThanOrEqualTo
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
StandardGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
lessThanOrEqualTo
?WIDTH 1.44))
Transportation.kif 435-441
Railway
e' uma
instancia
de
Railway
Railway
tem um
atributo
de
StandardGauge
trackWidth
Railway
and
Numero Real
Meter
(s)
Numero Real
e'
menor
ou igual a 1.44
(=>
(
and
(
instance
?SW
BrackishWater
)
(
measure
?SW
(
MeasureFn
1.0
Liter
))
(
part
?SALT ?SW)
(
instance
?SALT
SodiumChloride
)
(
measure
?SALT
(
MeasureFn
?R
Gram
)))
(
and
(
greaterThan
?R 0.5)
(
lessThanOrEqualTo
?R 30.0)))
Geography.kif 2855-2866
Objeto
e' uma
instancia
de
BrackishWater
a
medida
de
Objeto
e' 1.0
Liter
(s)
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
SodiumChloride
a
medida
de
Objeto
e'
Numero Real
Gram
(s)
Numero Real
e'
maior
que 0.5
Numero Real
e'
menor
ou igual a 30.0
(=>
(
and
(
instance
?T
Tornado
)
(
instance
?EF
EFScaleAttribute
)
(
eventLocated
?T ?AREA)
(
believes
?A
(
property
?T ?EF))
(
speedScaleAttributeMinMax
?EF
(
MeasureFn
?MIN
MilesPerHour
)
(
MeasureFn
?MAX
MilesPerHour
)))
(
exists
(?GUST)
(
and
(
greaterThanOrEqualTo
?GUST ?MIN)
(
lessThanOrEqualTo
?GUST ?MAX)
(
believes
?A
(
equal
(
MeasureFn
?GUST
MilesPerHour
)
(
ThreeSecondGustSpeedFn
?AREA
(
WhenFn
?T)))))))
Weather.kif 2096-2114
Processo
e' uma
instancia
de
Tornado
SpeedScaleAttribute
e' uma
instancia
de
EFScaleAttribute
eventLocated
Processo
and
Objeto
Agente Cognitivo
acredita
que
Processo
tem um
atributo
de
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
Numero Real
MilesPerHour
(s) and
Numero Real
MilesPerHour
(s)
Numero Real
Numero Real
e'
maior
ou igual a
Numero Real
Numero Real
e'
menor
ou igual a
Numero Real
Agente Cognitivo
acredita
que
Numero Real
MilesPerHour
(s) e'
igual
a
ThreeSecondGustSpeedFn
Objeto
and
tempo
de existencia de
Processo
(=>
(
and
(
instance
?W
Wind
)
(
instance
?BN
BeaufortNumberAttribute
)
(
eventLocated
?W ?AREA)
(
believes
?A
(
property
?W ?BN))
(
speedScaleAttributeMinMax
?BN
(
MeasureFn
?MIN ?U)
(
MeasureFn
?MAX ?U))
(
instance
?U
UnitOfMeasure
))
(
exists
(?SPEED)
(
and
(
greaterThanOrEqualTo
?SPEED ?MIN)
(
lessThanOrEqualTo
?SPEED ?MAX)
(
believes
?A
(
surfaceWindSpeed
?AREA
(
MeasureFn
?SPEED ?U))))))
Weather.kif 349-366
Processo
e' uma
instancia
de
Wind
SpeedScaleAttribute
e' uma
instancia
de
BeaufortNumberAttribute
eventLocated
Processo
and
Objeto
Agente Cognitivo
acredita
que
Processo
tem um
atributo
de
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
Numero Real
Unidade de Medida
(s) and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
Unidade de Medida
Numero Real
Numero Real
e'
maior
ou igual a
Numero Real
Numero Real
e'
menor
ou igual a
Numero Real
Agente Cognitivo
acredita
que
surfaceWindSpeed
Objeto
and
Numero Real
Unidade de Medida
(s)
(=>
(
and
(
instance
?ZONE
ExclusiveFishingZone
)
(
linearExtent
?ZONE
(
MeasureFn
?WIDTH
NauticalMile
)))
(
lessThanOrEqualTo
?WIDTH 200.0))
Geography.kif 1141-1146
Fisico
e' uma
instancia
de
ExclusiveFishingZone
linearExtent
Fisico
and
Numero Real
NauticalMile
(s)
Numero Real
e'
menor
ou igual a 200.0
(=>
(
and
(
instance
?ZONE
ExtendedFishingZone
)
(
linearExtent
?ZONE
(
MeasureFn
?WIDTH
NauticalMile
)))
(
lessThanOrEqualTo
?WIDTH 200.0))
Geography.kif 1173-1178
Fisico
e' uma
instancia
de
ExtendedFishingZone
linearExtent
Fisico
and
Numero Real
NauticalMile
(s)
Numero Real
e'
menor
ou igual a 200.0
(=>
(
and
(
instance
?ZONE
MaritimeExclusiveEconomicZone
)
(
linearExtent
?ZONE
(
MeasureFn
?WIDTH
NauticalMile
)))
(
lessThanOrEqualTo
?WIDTH 200.0))
Geography.kif 1109-1114
Fisico
e' uma
instancia
de
MaritimeExclusiveEconomicZone
linearExtent
Fisico
and
Numero Real
NauticalMile
(s)
Numero Real
e'
menor
ou igual a 200.0
(=>
(
and
(
instance
?ZONE
MaritimeShelfArea
)
(
linearExtent
?ZONE
(
MeasureFn
?WIDTH
NauticalMile
)))
(
lessThanOrEqualTo
?WIDTH 200.0))
Geography.kif 1068-1073
Fisico
e' uma
instancia
de
MaritimeShelfArea
linearExtent
Fisico
and
Numero Real
NauticalMile
(s)
Numero Real
e'
menor
ou igual a 200.0
(=>
(
and
(
instance
?ZONE
TerritorialSea
)
(
linearExtent
?ZONE
(
MeasureFn
?WIDTH
NauticalMile
)))
(
lessThanOrEqualTo
?WIDTH 12.0))
Geography.kif 1214-1219
Fisico
e' uma
instancia
de
TerritorialSea
linearExtent
Fisico
and
Numero Real
NauticalMile
(s)
Numero Real
e'
menor
ou igual a 12.0
(=>
(
and
(
lengthOfCrudeOilPipeline
?AREA
(
MeasureFn
?AMOUNT1
Meter
))
(
totalPipelineInArea
?AREA
(
MeasureFn
?AMOUNT2
Meter
)))
(
lessThanOrEqualTo
?AMOUNT1 ?AMOUNT2))
Transportation.kif 721-725
lengthOfCrudeOilPipeline
Area Geografica
and
Numero Real
Meter
(s)
totalPipelineInArea
Area Geografica
and
Numero Real
Meter
(s)
Numero Real
e'
menor
ou igual a
Numero Real
(=>
(
and
(
lengthOfNaturalGasPipeline
?AREA
(
MeasureFn
?AMOUNT1
Meter
))
(
totalPipelineInArea
?AREA
(
MeasureFn
?AMOUNT2
Meter
)))
(
lessThanOrEqualTo
?AMOUNT1 ?AMOUNT2))
Transportation.kif 744-748
lengthOfNaturalGasPipeline
Area Geografica
and
Numero Real
Meter
(s)
totalPipelineInArea
Area Geografica
and
Numero Real
Meter
(s)
Numero Real
e'
menor
ou igual a
Numero Real
(=>
(
and
(
lengthOfPetroleumProductPipeline
?AREA
(
MeasureFn
?AMOUNT1
Meter
))
(
totalPipelineInArea
?AREA
(
MeasureFn
?AMOUNT2
Meter
)))
(
lessThanOrEqualTo
?AMOUNT1 ?AMOUNT2))
Transportation.kif 767-771
lengthOfPetroleumProductPipeline
Area Geografica
and
Numero Real
Meter
(s)
totalPipelineInArea
Area Geografica
and
Numero Real
Meter
(s)
Numero Real
e'
menor
ou igual a
Numero Real
(=>
(
and
(
maxCardinality
?REL ?ARG ?COUNT)
(
instance
?REL
Predicate
))
(
exists
(?S ?EL @ARGS)
(
and
(
instance
?S
SetOrClass
)
(=>
(
and
(?REL @ARGS)
(
equal
?EL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
and
(
instance
?EL ?S)
(
lessThanOrEqualTo
(
CardinalityFn
?S) ?COUNT))))))
Media.kif 2210-2223
maxCardinality
Relacao
,
Inteiro positivo
and
Numero Inteiro
Relacao
e' uma
instancia
de
Predicado
Classe
Entidade
and @ARGS
Classe
e' uma
instancia
de
Conjunto ou Classe
Relacao
@ARGS
Entidade
e'
igual
a
Inteiro positivo
th
elemento
de (@ARGS)
Entidade
e' uma
instancia
de
Classe
o numero de
instancias
dentro de
Classe
e'
menor
ou igual a
Numero Inteiro
(=>
(
and
(
maxRoomCapacity
?ROOM ?NUM)
(
instance
?X ?ROOM)
(
element
?X
(
PropertyFn
?AGENT)))
(
modalAttribute
(
exists
(?GRP ?PPL)
(
and
(
instance
?GRP
GroupOfPeople
)
(
memberCount
?GRP ?PPL)
(
lessThanOrEqualTo
?PPL ?NUM)
(
stays
?GRP ?X)))
Possibility
))
Hotel.kif 479-490
maxRoomCapacity
Artefato Estacionario
and
Numero Inteiro
Entidade
e' uma
instancia
de
Artefato Estacionario
Entidade
e' um
elemento
de
propriedade
de
AutonomousAgent
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
GroupOfPeople
memberCount
Entidade
and
Entidade
Entidade
e'
menor
ou igual a
Numero Inteiro
stays
Entidade
and
Entidade
tem a
forca
modal
de
Possibility
(=>
(
and
(
rentalPrice
?OBJ ?QUANT ?AGENT ?PS)
(
equal
?QUANT
(
PerFn
?PRICE
(
measure
?TIME ?U)))
(
instance
?U
UnitOfDuration
)
(
immediateInstance
?ITEM ?OBJ)
(
instance
?R
Renting
)
(
patient
?R ?ITEM)
(
agent
?R ?CUSTOMER)
(
time
?R ?TIMEINT))
(
forall
(?X)
(=>
(
exists
(?DURATION)
(
and
(
during
?TIMEINT ?X)
(
instance
?X
TimeInterval
)
(
duration
?X
(
MeasureFn
?DURATION ?U))
(
lessThanOrEqualTo
?DURATION ?TIME)))
(
exists
(?P)
(
and
(
instance
?P
Payment
)
(
destination
?P ?AGENT)
(
agent
?P ?CUSTOMER)
(
transactionAmount
?P ?PRICE))))))
Catalog.kif 467-492
rentalPrice
Fisico
,
Funcao de Quantidade
,
Agente Cognitivo
and
PricingScheme
Funcao de Quantidade
e'
igual
a
PerFn
Medida de Divisa
and a
medida
de
Numero Real
e'
Unidade de Medida
Unidade de Medida
e' uma
instancia
de
UnitOfDuration
Entidade
e' uma
instancia
imediata de
Fisico
Processo
e' uma
instancia
de
Renting
Entidade
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
Processo
existe
durante
Numero Real
INT
Intervalo Temporal
Numero Real
Numero Real
INT acontece
durante
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
a
duracao
de
Intervalo Temporal
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
menor
ou igual a
Numero Real
Transacao Financeira
Transacao Financeira
e' uma
instancia
de
Payment
Transacao Financeira
termina
em
Agente Cognitivo
Transacao Financeira
e' um
agente
de
AutonomousAgent
transactionAmount
Transacao Financeira
and
Medida de Divisa
(=>
(
and
(
speedScaleAttributeMinMax
?ATTR
(
MeasureFn
?MIN ?U)
(
MeasureFn
?MAX ?U))
(
instance
?U
UnitOfMeasure
))
(
exists
(?X ?SPEED)
(
and
(
instance
?X
Motion
)
(
property
?X ?ATTR)
(
measure
?X
(
MeasureFn
?SPEED ?U))
(
greaterThanOrEqualTo
?SPEED ?MIN)
(
lessThanOrEqualTo
?SPEED ?MAX))))
Weather.kif 2130-2143
speedScaleAttributeMinMax
SpeedScaleAttribute
,
Numero Real
Unidade de Medida
(s) and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
Unidade de Medida
Fisico
Numero Real
Fisico
e' uma
instancia
de
Movimento
Fisico
tem um
atributo
de
SpeedScaleAttribute
a
medida
de
Fisico
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
ou igual a
Numero Real
Numero Real
e'
menor
ou igual a
Numero Real
(=>
(
and
(
subString
?S1 ?S2)
(
equal
?L1
(
StringLengthFn
?S1))
(
equal
?L2
(
StringLengthFn
?S2)))
(
lessThanOrEqualTo
?L1 ?L2))
Mid-level-ontology.kif 24400-24405
subString
Sequencia Simbolica
and
Sequencia Simbolica
Numero Inteiro nao-negativo
e'
igual
a
StringLengthFn
Sequencia Simbolica
Numero Inteiro nao-negativo
e'
igual
a
StringLengthFn
Sequencia Simbolica
Numero Inteiro nao-negativo
e'
menor
ou igual a
Numero Inteiro nao-negativo
(=>
(
and
(
suffrageAgeMaximum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT)
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
)))
(
lessThanOrEqualTo
?AGE ?VOTINGAGE))
Government.kif 1052-1060
suffrageAgeMaximum
AutonomousAgent
and
Numero Real
YearDuration
(s)
Election
e' uma
instancia
de
ElectionFn
AutonomousAgent
Objeto
e'
capaz
de fazer
VotingFn
Election
no role
agent
a
idade
de
Objeto
e'
Numero Real
YearDuration
(s)
Numero Real
e'
menor
ou igual a
Numero Real
(=>
(
and
(
suffrageAgeMaximum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT))
(
exists
(?AGE)
(
and
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
lessThanOrEqualTo
?AGE ?VOTINGAGE))))
Government.kif 1040-1050
suffrageAgeMaximum
AutonomousAgent
and
Numero Real
YearDuration
(s)
Election
e' uma
instancia
de
ElectionFn
AutonomousAgent
Objeto
e'
capaz
de fazer
VotingFn
Election
no role
agent
Numero Real
a
idade
de
Objeto
e'
Numero Real
YearDuration
(s)
Numero Real
e'
menor
ou igual a
Numero Real
(=>
(
capacityByArrangement
?AREA ?PROP ?INT)
(=>
(
represents
?AREA ?PROP)
(
modalAttribute
(
exists
(?GRP ?PPL)
(
and
(
instance
?GRP
GroupOfPeople
)
(
memberCount
?GRP ?PPL)
(
lessThanOrEqualTo
?PPL ?INT)
(
located
?GRP ?AREA)))
Possibility
)))
Hotel.kif 790-800
capacityByArrangement
Regiao
,
Proposicao
and
Numero Inteiro
Regiao
define
Proposicao
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
GroupOfPeople
memberCount
Entidade
and
Entidade
Entidade
e'
menor
ou igual a
Numero Inteiro
Entidade
e'
situado
em
Regiao
tem a
forca
modal
de
Possibility
(=>
(
climateTypeInArea
?AREA
TemperateClimateZone
)
(
exists
(?MO ?AMOUNT)
(
and
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?AMOUNT
CelsiusDegree
))
(
greaterThanOrEqualTo
?AMOUNT -3.0)
(
lessThanOrEqualTo
?AMOUNT 18.0)
(
not
(
exists
(?M2 ?MT2)
(
and
(
instance
?M2
Month
)
(
averageTemperatureForPeriod
?AREA ?M2
(
MeasureFn
?MT2
CelsiusDegree
))
(
lessThan
?MT2 ?AMOUNT)))))))
Geography.kif 1428-1443
climateTypeInArea
Area Geografica
and
TemperateClimateZone
Intervalo Temporal
Numero Real
Intervalo Temporal
e' uma
instancia
de
Mes
averageTemperatureForPeriod
Area Geografica
,
Intervalo Temporal
and
Numero Real
CelsiusDegree
(s)
Numero Real
e'
maior
ou igual a -3.0
Numero Real
e'
menor
ou igual a 18.0
Intervalo Temporal
Numero Real
Intervalo Temporal
e' uma
instancia
de
Mes
averageTemperatureForPeriod
Area Geografica
,
Intervalo Temporal
and
Numero Real
CelsiusDegree
(s)
Numero Real
e'
menos
que
Numero Real
(=>
(
electricityFractionFromSource
?AREA ?SOURCE ?FRACTION)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 2051-2053
electricityFractionFromSource
Area Geopolitica
,
PowerGeneration
and
Numero Real
Numero Real
e'
menor
ou igual a 1.0
(=>
(
electricityFractionFromSourceInPeriod
?AREA ?SOURCE ?FRACTION ?PERIOD)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 2037-2039
electricityFractionFromSourceInPeriod
Area Geopolitica
,
PowerGeneration
,
Numero Real
and
Intervalo Temporal
Numero Real
e'
menor
ou igual a 1.0
(=>
(
equal
(
MeasureFn
1
MonthDuration
)
(
MeasureFn
?NUMBER
DayDuration
))
(
lessThanOrEqualTo
?NUMBER 31))
Merge.kif 7128-7132
1
MonthDuration
(s) e'
igual
a
Numero Real
DayDuration
(s)
Numero Real
e'
menor
ou igual a 31
(=>
(
exportPartnerByFraction
?AREA1 ?AREA2 ?FRACTION)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 2545-2547
exportPartnerByFraction
Area Geopolitica
,
Area Geopolitica
and
Numero Real positivo
Numero Real positivo
e'
menor
ou igual a 1.0
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