lessThanOrEqualTo
(=>
(
exportPartnerByFractionInPeriod
?AREA1 ?AREA2 ?FRACTION ?PERIOD)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 2530-2532
exportPartnerByFractionInPeriod
secteur g�opolitique
,
secteur g�opolitique
,
nombre r�el positif
and
interval temporel
nombre r�el positif
est plus
petit
ou �gal � 1.0
(=>
(
highestDecileShareOfHouseholdIncome
?AREA ?FRACTION)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 1275-1277
highestDecileShareOfHouseholdIncome
secteur g�opolitique
and
nombre r�el
nombre r�el
est plus
petit
ou �gal � 1.0
(=>
(
highestDecileShareOfHouseholdIncomeInPeriod
?AREA ?FRACTION ?PERIOD)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 1257-1259
highestDecileShareOfHouseholdIncomeInPeriod
secteur g�opolitique
,
nombre r�el
and
interval temporel
nombre r�el
est plus
petit
ou �gal � 1.0
(=>
(
holdsDuring
?T
(
and
(
attribute
?L
GoodAQIAirQuality
)
(
airQualityIndex
?L ?I)))
(
lessThanOrEqualTo
?I 50))
Weather.kif 3109-3114
GoodAQIAirQuality
est un
attribut
de
entit�
airQualityIndex
entit�
and
nombre r�el
pendant
position temporel
nombre r�el
est plus
petit
ou �gal � 50
(=>
(
holdsDuring
?T
(
and
(
attribute
?L
ModerateAQIAirQuality
)
(
airQualityIndex
?L ?I)))
(
and
(
lessThanOrEqualTo
?I 100)
(
greaterThanOrEqualTo
?I 51)))
Weather.kif 3122-3129
ModerateAQIAirQuality
est un
attribut
de
entit�
airQualityIndex
entit�
and
nombre r�el
pendant
position temporel
nombre r�el
est plus
petit
ou �gal � 100
nombre r�el
est
plus
grand
ou �gal � 51
(=>
(
holdsDuring
?T
(
and
(
attribute
?L
UnhealthyAQIAirQuality
)
(
airQualityIndex
?L ?I)))
(
and
(
lessThanOrEqualTo
?I 200)
(
greaterThanOrEqualTo
?I 151)))
Weather.kif 3150-3157
UnhealthyAQIAirQuality
est un
attribut
de
entit�
airQualityIndex
entit�
and
nombre r�el
pendant
position temporel
nombre r�el
est plus
petit
ou �gal � 200
nombre r�el
est
plus
grand
ou �gal � 151
(=>
(
holdsDuring
?T
(
and
(
attribute
?L
UnhealthyAQIAirQuality
)
(
airQualityIndex
?L ?I)))
(
and
(
lessThanOrEqualTo
?I 300)
(
greaterThanOrEqualTo
?I 201)))
Weather.kif 3164-3171
UnhealthyAQIAirQuality
est un
attribut
de
entit�
airQualityIndex
entit�
and
nombre r�el
pendant
position temporel
nombre r�el
est plus
petit
ou �gal � 300
nombre r�el
est
plus
grand
ou �gal � 201
(=>
(
holdsDuring
?T
(
and
(
attribute
?L
UnhealthyForSensitiveAQIAirQuality
)
(
airQualityIndex
?L ?I)))
(
and
(
lessThanOrEqualTo
?I 150)
(
greaterThanOrEqualTo
?I 101)))
Weather.kif 3136-3143
UnhealthyForSensitiveAQIAirQuality
est un
attribut
de
entit�
airQualityIndex
entit�
and
nombre r�el
pendant
position temporel
nombre r�el
est plus
petit
ou �gal � 150
nombre r�el
est
plus
grand
ou �gal � 101
(=>
(
holdsDuring
?TIME
(
and
(
instance
?BABY
HumanBaby
)
(
age
?BABY
(
MeasureFn
?NUMBER
YearDuration
))))
(
lessThanOrEqualTo
?NUMBER 1))
Mid-level-ontology.kif 375-380
Entit�
est une
instance
de
HumanBaby
l'
entit�
est
nombre r�el
YearDuration
(s)
pendant
position temporel
nombre r�el
est plus
petit
ou �gal � 1
(=>
(
holdsDuring
?TIME
(
and
(
instance
?CHILD
HumanChild
)
(
age
?CHILD
(
MeasureFn
?NUMBER
YearDuration
))))
(
lessThanOrEqualTo
?NUMBER 14))
Mid-level-ontology.kif 294-299
Entit�
est une
instance
de
HumanChild
l'
entit�
est
nombre r�el
YearDuration
(s)
pendant
position temporel
nombre r�el
est plus
petit
ou �gal � 14
(=>
(
importPartnerByFraction
?AREA1 ?AREA2 ?FRACTION)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 2738-2740
importPartnerByFraction
secteur g�opolitique
,
secteur g�opolitique
and
nombre r�el positif
nombre r�el positif
est plus
petit
ou �gal � 1.0
(=>
(
importPartnerByFractionInPeriod
?AREA1 ?AREA2 ?FRACTION ?PERIOD)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 2723-2725
importPartnerByFractionInPeriod
secteur g�opolitique
,
secteur g�opolitique
,
nombre r�el positif
and
interval temporel
nombre r�el positif
est plus
petit
ou �gal � 1.0
(=>
(
incomeDistributionByGiniIndex
?AREA ?INDEX)
(
lessThanOrEqualTo
?INDEX 100.0))
Economy.kif 1313-1315
incomeDistributionByGiniIndex
secteur g�opolitique
and
nombre r�el non n�gatif
nombre r�el non n�gatif
est plus
petit
ou �gal � 100.0
(=>
(
incomeDistributionByGiniIndexInPeriod
?AREA ?INDEX ?PERIOD)
(
lessThanOrEqualTo
?INDEX 100.0))
Economy.kif 1300-1302
incomeDistributionByGiniIndexInPeriod
secteur g�opolitique
,
nombre r�el non n�gatif
and
interval temporel
nombre r�el non n�gatif
est plus
petit
ou �gal � 100.0
(=>
(
inflationRateOfConsumerPricesInPeriod
?AREA ?FRACTION ?PERIOD)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 1341-1343
inflationRateOfConsumerPricesInPeriod
secteur g�opolitique
,
nombre r�el
and
interval temporel
nombre r�el
est plus
petit
ou �gal � 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
Physique
est une
instance
de
bact�rie
nombre r�el
la
largeur
de
physique
est
nombre r�el
Meter
(s)
nombre r�el
est
plus
grand
ou �gal � 0.000001
nombre r�el
est plus
petit
ou �gal � 0.000002
(=>
(
instance
?CITY
AmericanCity
)
(
lessThanOrEqualTo
(
CardinalityFn
(
ResidentFn
?CITY))
(
CardinalityFn
(
ResidentFn
NewYorkCityUnitedStates
))))
CountriesAndRegions.kif 2131-2135
Secteur g�opolitique
est une
instance
de
AmericanCity
le nombre d'
instances
dans
ResidentFn
secteur g�opolitique
est plus
petit
ou �gal � le nombre d'
instances
dans
ResidentFn
NewYorkCityUnitedStates
(=>
(
instance
?DAY
(
DayFn
?NUMBER ?MONTH))
(
lessThanOrEqualTo
?NUMBER 31))
Merge.kif 8599-8601
Entit�
est une
instance
de le
jour
nombre entier positif
nombre entier positif
est plus
petit
ou �gal � 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 2803-2815
Transf�re
est une
instance
de
Drizzling
collection
objet en une partie
and
nombre r�el
collection
est une
instance
de
collection
objet en une partie
est une
instance
de
eau
objet en une partie
est une
instance
de
LiquidDrop
objet en une partie
est un
membre
de
collection
objectTransferred
transf�re
and
collection
approximateDiameter
objet en une partie
and
nombre r�el
Millimeter
(s) l'argument
nombre r�el
est plus
petit
ou �gal � 0.5 a la
force
modale
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 660-670
Processus
est une
instance
de
TropicalDepression
secteur g�ographique
nombre r�el
secteur g�ographique
est une
instance
de
secteur g�ographique
eventLocated
processus
and
secteur g�ographique
nombre r�el
MilesPerHour
(s) est
Mean1MinuteWindSpeedFn
secteur g�ographique
and
temps
d'existence de
processus
nombre r�el
est plus
petit
ou �gal � 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 716-727
Processus
est une
instance
de
TropicalStorm
secteur g�ographique
nombre r�el
secteur g�ographique
est une
instance
de
secteur g�ographique
eventLocated
processus
and
secteur g�ographique
nombre r�el
MilesPerHour
(s) est
Mean1MinuteWindSpeedFn
secteur g�ographique
and
temps
d'existence de
processus
nombre r�el
est
plus
grand
ou �gal � 39.0
nombre r�el
est plus
petit
ou �gal � 74.0
(=>
(
laborForceFractionByOccupation
?AREA ?SECTOR ?FRACTION)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 1415-1417
laborForceFractionByOccupation
secteur g�opolitique
,
attribut
and
nombre r�el
nombre r�el
est plus
petit
ou �gal � 1.0
(=>
(
laborForceFractionByOccupationInPeriod
?AREA ?SECTOR ?FRACTION ?PERIOD)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 1399-1401
laborForceFractionByOccupationInPeriod
secteur g�opolitique
,
attribut
,
nombre r�el
and
interval temporel
nombre r�el
est plus
petit
ou �gal � 1.0
(=>
(
lowestDecileShareOfHouseholdIncome
?AREA ?FRACTION)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 1229-1231
lowestDecileShareOfHouseholdIncome
secteur g�opolitique
and
nombre r�el
nombre r�el
est plus
petit
ou �gal � 1.0
(=>
(
lowestDecileShareOfHouseholdIncomeInPeriod
?AREA ?FRACTION ?PERIOD)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 1212-1214
lowestDecileShareOfHouseholdIncomeInPeriod
secteur g�opolitique
,
nombre r�el
and
interval temporel
nombre r�el
est plus
petit
ou �gal � 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