lessThanOrEqualTo
(=>
(
exportPartnerByFractionInPeriod
?AREA1 ?AREA2 ?FRACTION ?PERIOD)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 2530-2532
exportPartnerByFractionInPeriod
Area Geopolitica
,
Area Geopolitica
,
Numero Real positivo
and
Intervalo Temporal
Numero Real positivo
e'
menor
ou igual a 1.0
(=>
(
highestDecileShareOfHouseholdIncome
?AREA ?FRACTION)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 1275-1277
highestDecileShareOfHouseholdIncome
Area Geopolitica
and
Numero Real
Numero Real
e'
menor
ou igual a 1.0
(=>
(
highestDecileShareOfHouseholdIncomeInPeriod
?AREA ?FRACTION ?PERIOD)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 1257-1259
highestDecileShareOfHouseholdIncomeInPeriod
Area Geopolitica
,
Numero Real
and
Intervalo Temporal
Numero Real
e'
menor
ou igual a 1.0
(=>
(
holdsDuring
?T
(
and
(
attribute
?L
GoodAQIAirQuality
)
(
airQualityIndex
?L ?I)))
(
lessThanOrEqualTo
?I 50))
Weather.kif 3105-3110
GoodAQIAirQuality
e' um
atributo
de
Entidade
airQualityIndex
Entidade
and
Numero Real
vale
durante
Posicao Temporal
Numero Real
e'
menor
ou igual a 50
(=>
(
holdsDuring
?T
(
and
(
attribute
?L
ModerateAQIAirQuality
)
(
airQualityIndex
?L ?I)))
(
and
(
lessThanOrEqualTo
?I 100)
(
greaterThanOrEqualTo
?I 51)))
Weather.kif 3118-3125
ModerateAQIAirQuality
e' um
atributo
de
Entidade
airQualityIndex
Entidade
and
Numero Real
vale
durante
Posicao Temporal
Numero Real
e'
menor
ou igual a 100
Numero Real
e'
maior
ou igual a 51
(=>
(
holdsDuring
?T
(
and
(
attribute
?L
UnhealthyAQIAirQuality
)
(
airQualityIndex
?L ?I)))
(
and
(
lessThanOrEqualTo
?I 200)
(
greaterThanOrEqualTo
?I 151)))
Weather.kif 3146-3153
UnhealthyAQIAirQuality
e' um
atributo
de
Entidade
airQualityIndex
Entidade
and
Numero Real
vale
durante
Posicao Temporal
Numero Real
e'
menor
ou igual a 200
Numero Real
e'
maior
ou igual a 151
(=>
(
holdsDuring
?T
(
and
(
attribute
?L
UnhealthyAQIAirQuality
)
(
airQualityIndex
?L ?I)))
(
and
(
lessThanOrEqualTo
?I 300)
(
greaterThanOrEqualTo
?I 201)))
Weather.kif 3160-3167
UnhealthyAQIAirQuality
e' um
atributo
de
Entidade
airQualityIndex
Entidade
and
Numero Real
vale
durante
Posicao Temporal
Numero Real
e'
menor
ou igual a 300
Numero Real
e'
maior
ou igual a 201
(=>
(
holdsDuring
?T
(
and
(
attribute
?L
UnhealthyForSensitiveAQIAirQuality
)
(
airQualityIndex
?L ?I)))
(
and
(
lessThanOrEqualTo
?I 150)
(
greaterThanOrEqualTo
?I 101)))
Weather.kif 3132-3139
UnhealthyForSensitiveAQIAirQuality
e' um
atributo
de
Entidade
airQualityIndex
Entidade
and
Numero Real
vale
durante
Posicao Temporal
Numero Real
e'
menor
ou igual a 150
Numero Real
e'
maior
ou igual a 101
(=>
(
holdsDuring
?TIME
(
and
(
instance
?BABY
HumanBaby
)
(
age
?BABY
(
MeasureFn
?NUMBER
YearDuration
))))
(
lessThanOrEqualTo
?NUMBER 1))
Mid-level-ontology.kif 375-380
Entidade
e' uma
instancia
de
HumanBaby
a
idade
de
Entidade
e'
Numero Real
YearDuration
(s)
vale
durante
Posicao Temporal
Numero Real
e'
menor
ou igual a 1
(=>
(
holdsDuring
?TIME
(
and
(
instance
?CHILD
HumanChild
)
(
age
?CHILD
(
MeasureFn
?NUMBER
YearDuration
))))
(
lessThanOrEqualTo
?NUMBER 14))
Mid-level-ontology.kif 294-299
Entidade
e' uma
instancia
de
HumanChild
a
idade
de
Entidade
e'
Numero Real
YearDuration
(s)
vale
durante
Posicao Temporal
Numero Real
e'
menor
ou igual a 14
(=>
(
importPartnerByFraction
?AREA1 ?AREA2 ?FRACTION)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 2738-2740
importPartnerByFraction
Area Geopolitica
,
Area Geopolitica
and
Numero Real positivo
Numero Real positivo
e'
menor
ou igual a 1.0
(=>
(
importPartnerByFractionInPeriod
?AREA1 ?AREA2 ?FRACTION ?PERIOD)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 2723-2725
importPartnerByFractionInPeriod
Area Geopolitica
,
Area Geopolitica
,
Numero Real positivo
and
Intervalo Temporal
Numero Real positivo
e'
menor
ou igual a 1.0
(=>
(
incomeDistributionByGiniIndex
?AREA ?INDEX)
(
lessThanOrEqualTo
?INDEX 100.0))
Economy.kif 1313-1315
incomeDistributionByGiniIndex
Area Geopolitica
and
Numero Real nao-negativo
Numero Real nao-negativo
e'
menor
ou igual a 100.0
(=>
(
incomeDistributionByGiniIndexInPeriod
?AREA ?INDEX ?PERIOD)
(
lessThanOrEqualTo
?INDEX 100.0))
Economy.kif 1300-1302
incomeDistributionByGiniIndexInPeriod
Area Geopolitica
,
Numero Real nao-negativo
and
Intervalo Temporal
Numero Real nao-negativo
e'
menor
ou igual a 100.0
(=>
(
inflationRateOfConsumerPricesInPeriod
?AREA ?FRACTION ?PERIOD)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 1341-1343
inflationRateOfConsumerPricesInPeriod
Area Geopolitica
,
Numero Real
and
Intervalo Temporal
Numero Real
e'
menor
ou igual a 1.0
(=>
(
instance
?BACTERIUM
Bacterium
)
(
exists
(?NUMBER)
(
and
(
width
?BACTERIUM
(
MeasureFn
?NUMBER
Meter
))
(
greaterThanOrEqualTo
?NUMBER 0.000001)
(
lessThanOrEqualTo
?NUMBER 0.000002))))
WMD.kif 205-211
Fisico
e' uma
instancia
de
Bacteria
Numero Real
a
largura
de
Fisico
e'
Numero Real
Meter
(s)
Numero Real
e'
maior
ou igual a 0.000001
Numero Real
e'
menor
ou igual a 0.000002
(=>
(
instance
?CITY
AmericanCity
)
(
lessThanOrEqualTo
(
CardinalityFn
(
ResidentFn
?CITY))
(
CardinalityFn
(
ResidentFn
NewYorkCityUnitedStates
))))
CountriesAndRegions.kif 2131-2135
Area Geopolitica
e' uma
instancia
de
AmericanCity
o numero de
instancias
dentro de
ResidentFn
Area Geopolitica
e'
menor
ou igual a o numero de
instancias
dentro de
ResidentFn
NewYorkCityUnitedStates
(=>
(
instance
?DAY
(
DayFn
?NUMBER ?MONTH))
(
lessThanOrEqualTo
?NUMBER 31))
Merge.kif 8621-8623
Entidade
e' uma
instancia
de o
dia
Inteiro positivo
Inteiro positivo
e'
menor
ou igual a 31
(=>
(
instance
?DRIZZLE
Drizzling
)
(
exists
(?CLTN ?R ?SIZE)
(
and
(
instance
?CLTN
Collection
)
(
instance
?R
Water
)
(
instance
?R
LiquidDrop
)
(
member
?R ?CLTN)
(
objectTransferred
?DRIZZLE ?CLTN)
(
approximateDiameter
?R
(
MeasureFn
?SIZE
Millimeter
))
(
modalAttribute
(
lessThanOrEqualTo
?SIZE 0.5)
Likely
))))
Weather.kif 2799-2811
Transferencia
e' uma
instancia
de
Drizzling
Colecao
Objeto auto-conectado
and
Numero Real
Colecao
e' uma
instancia
de
Colecao
Objeto auto-conectado
e' uma
instancia
de
Agua
Objeto auto-conectado
e' uma
instancia
de
LiquidDrop
Objeto auto-conectado
e'
membro
de
Colecao
objectTransferred
Transferencia
and
Colecao
approximateDiameter
Objeto auto-conectado
and
Numero Real
Millimeter
(s) o argumento
Numero Real
e'
menor
ou igual a 0.5 tem a
forca
modal
de
Likely
(=>
(
instance
?TD
TropicalDepression
)
(
exists
(?PLACE ?WIND)
(
and
(
instance
?PLACE
GeographicArea
)
(
eventLocated
?TD ?PLACE)
(
equal
(
MeasureFn
?WIND
MilesPerHour
)
(
Mean1MinuteWindSpeedFn
?PLACE
(
WhenFn
?TD)))
(
lessThanOrEqualTo
?WIND 38.0))))
Weather.kif 656-666
Processo
e' uma
instancia
de
TropicalDepression
Area Geografica
Numero Real
Area Geografica
e' uma
instancia
de
Area Geografica
eventLocated
Processo
and
Area Geografica
Numero Real
MilesPerHour
(s) e'
igual
a
Mean1MinuteWindSpeedFn
Area Geografica
and
tempo
de existencia de
Processo
Numero Real
e'
menor
ou igual a 38.0
(=>
(
instance
?TS
TropicalStorm
)
(
exists
(?PLACE ?WIND)
(
and
(
instance
?PLACE
GeographicArea
)
(
eventLocated
?TS ?PLACE)
(
equal
(
MeasureFn
?WIND
MilesPerHour
)
(
Mean1MinuteWindSpeedFn
?PLACE
(
WhenFn
?TS)))
(
greaterThanOrEqualTo
?WIND 39.0)
(
lessThanOrEqualTo
?WIND 74.0))))
Weather.kif 712-723
Processo
e' uma
instancia
de
TropicalStorm
Area Geografica
Numero Real
Area Geografica
e' uma
instancia
de
Area Geografica
eventLocated
Processo
and
Area Geografica
Numero Real
MilesPerHour
(s) e'
igual
a
Mean1MinuteWindSpeedFn
Area Geografica
and
tempo
de existencia de
Processo
Numero Real
e'
maior
ou igual a 39.0
Numero Real
e'
menor
ou igual a 74.0
(=>
(
laborForceFractionByOccupation
?AREA ?SECTOR ?FRACTION)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 1415-1417
laborForceFractionByOccupation
Area Geopolitica
,
Atributo
and
Numero Real
Numero Real
e'
menor
ou igual a 1.0
(=>
(
laborForceFractionByOccupationInPeriod
?AREA ?SECTOR ?FRACTION ?PERIOD)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 1399-1401
laborForceFractionByOccupationInPeriod
Area Geopolitica
,
Atributo
,
Numero Real
and
Intervalo Temporal
Numero Real
e'
menor
ou igual a 1.0
(=>
(
lowestDecileShareOfHouseholdIncome
?AREA ?FRACTION)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 1229-1231
lowestDecileShareOfHouseholdIncome
Area Geopolitica
and
Numero Real
Numero Real
e'
menor
ou igual a 1.0
(=>
(
lowestDecileShareOfHouseholdIncomeInPeriod
?AREA ?FRACTION ?PERIOD)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 1212-1214
lowestDecileShareOfHouseholdIncomeInPeriod
Area Geopolitica
,
Numero Real
and
Intervalo Temporal
Numero Real
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