lessThanOrEqualTo

-------------------------


(=>
    (exportPartnerByFractionInPeriod ?AREA1 ?AREA2 ?FRACTION ?PERIOD)
    (lessThanOrEqualTo ?FRACTION 1.0))		 Economy.kif 2530-2532
(=>
    (highestDecileShareOfHouseholdIncome ?AREA ?FRACTION)
    (lessThanOrEqualTo ?FRACTION 1.0))		 Economy.kif 1275-1277
(=>
    (highestDecileShareOfHouseholdIncomeInPeriod ?AREA ?FRACTION ?PERIOD)
    (lessThanOrEqualTo ?FRACTION 1.0))		 Economy.kif 1257-1259
(=>
    (holdsDuring ?T
        (and
            (attribute ?L GoodAQIAirQuality)
            (airQualityIndex ?L ?I)))
    (lessThanOrEqualTo ?I 50))		 Weather.kif 3092-3097
(=>
    (holdsDuring ?T
        (and
            (attribute ?L ModerateAQIAirQuality)
            (airQualityIndex ?L ?I)))
    (and
        (lessThanOrEqualTo ?I 100)
        (greaterThanOrEqualTo ?I 51)))		 Weather.kif 3105-3112
(=>
    (holdsDuring ?T
        (and
            (attribute ?L UnhealthyAQIAirQuality)
            (airQualityIndex ?L ?I)))
    (and
        (lessThanOrEqualTo ?I 200)
        (greaterThanOrEqualTo ?I 151)))		 Weather.kif 3133-3140
(=>
    (holdsDuring ?T
        (and
            (attribute ?L UnhealthyAQIAirQuality)
            (airQualityIndex ?L ?I)))
    (and
        (lessThanOrEqualTo ?I 300)
        (greaterThanOrEqualTo ?I 201)))		 Weather.kif 3147-3154
(=>
    (holdsDuring ?T
        (and
            (attribute ?L UnhealthyForSensitiveAQIAirQuality)
            (airQualityIndex ?L ?I)))
    (and
        (lessThanOrEqualTo ?I 150)
        (greaterThanOrEqualTo ?I 101)))		 Weather.kif 3119-3126
(=>
    (holdsDuring ?TIME
        (and
            (instance ?BABY HumanBaby)
            (age ?BABY
                (MeasureFn ?NUMBER YearDuration))))
    (lessThanOrEqualTo ?NUMBER 1))		 Mid-level-ontology.kif 368-373
(=>
    (holdsDuring ?TIME
        (and
            (instance ?CHILD HumanChild)
            (age ?CHILD
                (MeasureFn ?NUMBER YearDuration))))
    (lessThanOrEqualTo ?NUMBER 14))		 Mid-level-ontology.kif 287-292
(=>
    (importPartnerByFraction ?AREA1 ?AREA2 ?FRACTION)
    (lessThanOrEqualTo ?FRACTION 1.0))		 Economy.kif 2738-2740
(=>
    (importPartnerByFractionInPeriod ?AREA1 ?AREA2 ?FRACTION ?PERIOD)
    (lessThanOrEqualTo ?FRACTION 1.0))		 Economy.kif 2723-2725
(=>
    (incomeDistributionByGiniIndex ?AREA ?INDEX)
    (lessThanOrEqualTo ?INDEX 100.0))		 Economy.kif 1313-1315
(=>
    (incomeDistributionByGiniIndexInPeriod ?AREA ?INDEX ?PERIOD)
    (lessThanOrEqualTo ?INDEX 100.0))		 Economy.kif 1300-1302
(=>
    (inflationRateOfConsumerPricesInPeriod ?AREA ?FRACTION ?PERIOD)
    (lessThanOrEqualTo ?FRACTION 1.0))		 Economy.kif 1341-1343
(=>
    (instance ?BACTERIUM Bacterium)
    (exists (?NUMBER)
        (and
            (width ?BACTERIUM
                (MeasureFn ?NUMBER Meter))
            (greaterThanOrEqualTo ?NUMBER 0.000001)
            (lessThanOrEqualTo ?NUMBER 0.000002))))		 WMD.kif 205-211
(=>
    (instance ?CITY AmericanCity)
    (lessThanOrEqualTo
        (CardinalityFn
            (ResidentFn ?CITY))
        (CardinalityFn
            (ResidentFn NewYorkCityUnitedStates))))		 CountriesAndRegions.kif 2131-2135
(=>
    (instance ?DAY
        (DayFn ?NUMBER ?MONTH))
    (lessThanOrEqualTo ?NUMBER 31))		 Merge.kif 8635-8637
(=>
    (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 2786-2798
(=>
    (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 644-654
(=>
    (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 700-711
(=>
    (laborForceFractionByOccupation ?AREA ?SECTOR ?FRACTION)
    (lessThanOrEqualTo ?FRACTION 1.0))		 Economy.kif 1415-1417
(=>
    (laborForceFractionByOccupationInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD)
    (lessThanOrEqualTo ?FRACTION 1.0))		 Economy.kif 1399-1401
(=>
    (lowestDecileShareOfHouseholdIncome ?AREA ?FRACTION)
    (lessThanOrEqualTo ?FRACTION 1.0))		 Economy.kif 1229-1231
(=>
    (lowestDecileShareOfHouseholdIncomeInPeriod ?AREA ?FRACTION ?PERIOD)
    (lessThanOrEqualTo ?FRACTION 1.0))		 Economy.kif 1212-1214

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