lessThanOrEqualTo
(=>
(
exportPartnerByFractionInPeriod
?AREA1 ?AREA2 ?FRACTION ?PERIOD)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 2530-2532
exportPartnerByFractionInPeriod
AreaGeopolitica
,
AreaGeopolitica
,
NumeroRealePositivo
and
IntervalloTemporale
NumeroRealePositivo
è
minore
o uguale a 1.0
(=>
(
highestDecileShareOfHouseholdIncome
?AREA ?FRACTION)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 1275-1277
highestDecileShareOfHouseholdIncome
AreaGeopolitica
and
NumeroReale
NumeroReale
è
minore
o uguale a 1.0
(=>
(
highestDecileShareOfHouseholdIncomeInPeriod
?AREA ?FRACTION ?PERIOD)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 1257-1259
highestDecileShareOfHouseholdIncomeInPeriod
AreaGeopolitica
,
NumeroReale
and
IntervalloTemporale
NumeroReale
è
minore
o uguale a 1.0
(=>
(
holdsDuring
?T
(
and
(
attribute
?L
GoodAQIAirQuality
)
(
airQualityIndex
?L ?I)))
(
lessThanOrEqualTo
?I 50))
Weather.kif 3105-3110
attribute
Entit�
and
GoodAQIAirQuality
airQualityIndex
Entit�
and
NumeroReale
vales
durante
PosizioneTemporale
NumeroReale
è
minore
o uguale a 50
(=>
(
holdsDuring
?T
(
and
(
attribute
?L
ModerateAQIAirQuality
)
(
airQualityIndex
?L ?I)))
(
and
(
lessThanOrEqualTo
?I 100)
(
greaterThanOrEqualTo
?I 51)))
Weather.kif 3118-3125
attribute
Entit�
and
ModerateAQIAirQuality
airQualityIndex
Entit�
and
NumeroReale
vales
durante
PosizioneTemporale
NumeroReale
è
minore
o uguale a 100
NumeroReale
è
pi
ù grande di o uguale a 51
(=>
(
holdsDuring
?T
(
and
(
attribute
?L
UnhealthyAQIAirQuality
)
(
airQualityIndex
?L ?I)))
(
and
(
lessThanOrEqualTo
?I 200)
(
greaterThanOrEqualTo
?I 151)))
Weather.kif 3146-3153
attribute
Entit�
and
UnhealthyAQIAirQuality
airQualityIndex
Entit�
and
NumeroReale
vales
durante
PosizioneTemporale
NumeroReale
è
minore
o uguale a 200
NumeroReale
è
pi
ù grande di o uguale a 151
(=>
(
holdsDuring
?T
(
and
(
attribute
?L
UnhealthyAQIAirQuality
)
(
airQualityIndex
?L ?I)))
(
and
(
lessThanOrEqualTo
?I 300)
(
greaterThanOrEqualTo
?I 201)))
Weather.kif 3160-3167
attribute
Entit�
and
UnhealthyAQIAirQuality
airQualityIndex
Entit�
and
NumeroReale
vales
durante
PosizioneTemporale
NumeroReale
è
minore
o uguale a 300
NumeroReale
è
pi
ù grande di o uguale a 201
(=>
(
holdsDuring
?T
(
and
(
attribute
?L
UnhealthyForSensitiveAQIAirQuality
)
(
airQualityIndex
?L ?I)))
(
and
(
lessThanOrEqualTo
?I 150)
(
greaterThanOrEqualTo
?I 101)))
Weather.kif 3132-3139
attribute
Entit�
and
UnhealthyForSensitiveAQIAirQuality
airQualityIndex
Entit�
and
NumeroReale
vales
durante
PosizioneTemporale
NumeroReale
è
minore
o uguale a 150
NumeroReale
è
pi
ù grande di o uguale a 101
(=>
(
holdsDuring
?TIME
(
and
(
instance
?BABY
HumanBaby
)
(
age
?BABY
(
MeasureFn
?NUMBER
YearDuration
))))
(
lessThanOrEqualTo
?NUMBER 1))
Mid-level-ontology.kif 375-380
Entit�
è un'
istanza
di
HumanBaby
il
et
à di
Entit�
è
NumeroReale
YearDuration
(s vales
durante
PosizioneTemporale
NumeroReale
è
minore
o uguale a 1
(=>
(
holdsDuring
?TIME
(
and
(
instance
?CHILD
HumanChild
)
(
age
?CHILD
(
MeasureFn
?NUMBER
YearDuration
))))
(
lessThanOrEqualTo
?NUMBER 14))
Mid-level-ontology.kif 294-299
Entit�
è un'
istanza
di
HumanChild
il
et
à di
Entit�
è
NumeroReale
YearDuration
(s vales
durante
PosizioneTemporale
NumeroReale
è
minore
o uguale a 14
(=>
(
importPartnerByFraction
?AREA1 ?AREA2 ?FRACTION)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 2738-2740
importPartnerByFraction
AreaGeopolitica
,
AreaGeopolitica
and
NumeroRealePositivo
NumeroRealePositivo
è
minore
o uguale a 1.0
(=>
(
importPartnerByFractionInPeriod
?AREA1 ?AREA2 ?FRACTION ?PERIOD)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 2723-2725
importPartnerByFractionInPeriod
AreaGeopolitica
,
AreaGeopolitica
,
NumeroRealePositivo
and
IntervalloTemporale
NumeroRealePositivo
è
minore
o uguale a 1.0
(=>
(
incomeDistributionByGiniIndex
?AREA ?INDEX)
(
lessThanOrEqualTo
?INDEX 100.0))
Economy.kif 1313-1315
incomeDistributionByGiniIndex
AreaGeopolitica
and
NumeroRealeNonNegativo
NumeroRealeNonNegativo
è
minore
o uguale a 100.0
(=>
(
incomeDistributionByGiniIndexInPeriod
?AREA ?INDEX ?PERIOD)
(
lessThanOrEqualTo
?INDEX 100.0))
Economy.kif 1300-1302
incomeDistributionByGiniIndexInPeriod
AreaGeopolitica
,
NumeroRealeNonNegativo
and
IntervalloTemporale
NumeroRealeNonNegativo
è
minore
o uguale a 100.0
(=>
(
inflationRateOfConsumerPricesInPeriod
?AREA ?FRACTION ?PERIOD)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 1341-1343
inflationRateOfConsumerPricesInPeriod
AreaGeopolitica
,
NumeroReale
and
IntervalloTemporale
NumeroReale
è
minore
o uguale 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
Entit�Concreta
è un'
istanza
di
Bacterio
NumeroReale
l'
ampiezza
di
Entit�Concreta
è
NumeroReale
Meter
(s
NumeroReale
è
pi
ù grande di o uguale a 0.000001
NumeroReale
è
minore
o uguale a 0.000002
(=>
(
instance
?CITY
AmericanCity
)
(
lessThanOrEqualTo
(
CardinalityFn
(
ResidentFn
?CITY))
(
CardinalityFn
(
ResidentFn
NewYorkCityUnitedStates
))))
CountriesAndRegions.kif 2131-2135
AreaGeopolitica
è un'
istanza
di
AmericanCity
il numero di
istanzia
in
ResidentFn
AreaGeopolitica
è
minore
o uguale a il numero di
istanzia
in
ResidentFn
NewYorkCityUnitedStates
(=>
(
instance
?DAY
(
DayFn
?NUMBER ?MONTH))
(
lessThanOrEqualTo
?NUMBER 31))
Merge.kif 8621-8623
Entit�
è un'
istanza
di il
giorno
NumeroInteroPositivo
NumeroInteroPositivo
è
minore
o uguale 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
Trasferimento
è un'
istanza
di
Drizzling
InsiemeConcreto
OggettoIntegro
and
NumeroReale
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
OggettoIntegro
è un'
istanza
di
Acqua
OggettoIntegro
è un'
istanza
di
LiquidDrop
OggettoIntegro
è un
membro
di
InsiemeConcreto
objectTransferred
Trasferimento
and
InsiemeConcreto
approximateDiameter
OggettoIntegro
and
NumeroReale
Millimeter
(s l'affermazione
NumeroReale
è
minore
o uguale a 0.5 ha il modello di forza di
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
è un'
istanza
di
TropicalDepression
AreaGeografica
NumeroReale
AreaGeografica
è un'
istanza
di
AreaGeografica
eventLocated
Processo
and
AreaGeografica
NumeroReale
MilesPerHour
(s is
uguale
a
Mean1MinuteWindSpeedFn
AreaGeografica
and il
tempo
di esistenza di
Processo
NumeroReale
è
minore
o uguale 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
è un'
istanza
di
TropicalStorm
AreaGeografica
NumeroReale
AreaGeografica
è un'
istanza
di
AreaGeografica
eventLocated
Processo
and
AreaGeografica
NumeroReale
MilesPerHour
(s is
uguale
a
Mean1MinuteWindSpeedFn
AreaGeografica
and il
tempo
di esistenza di
Processo
NumeroReale
è
pi
ù grande di o uguale a 39.0
NumeroReale
è
minore
o uguale a 74.0
(=>
(
laborForceFractionByOccupation
?AREA ?SECTOR ?FRACTION)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 1415-1417
laborForceFractionByOccupation
AreaGeopolitica
,
Attributo
and
NumeroReale
NumeroReale
è
minore
o uguale a 1.0
(=>
(
laborForceFractionByOccupationInPeriod
?AREA ?SECTOR ?FRACTION ?PERIOD)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 1399-1401
laborForceFractionByOccupationInPeriod
AreaGeopolitica
,
Attributo
,
NumeroReale
and
IntervalloTemporale
NumeroReale
è
minore
o uguale a 1.0
(=>
(
lowestDecileShareOfHouseholdIncome
?AREA ?FRACTION)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 1229-1231
lowestDecileShareOfHouseholdIncome
AreaGeopolitica
and
NumeroReale
NumeroReale
è
minore
o uguale a 1.0
(=>
(
lowestDecileShareOfHouseholdIncomeInPeriod
?AREA ?FRACTION ?PERIOD)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 1212-1214
lowestDecileShareOfHouseholdIncomeInPeriod
AreaGeopolitica
,
NumeroReale
and
IntervalloTemporale
NumeroReale
è
minore
o uguale 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