Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  lessThanOrEqualTo

Sigma KEE - lessThanOrEqualTo
lessThanOrEqualTo

appearance as argument number 1
-------------------------


(documentation lessThanOrEqualTo ChineseLanguage "(lessThanOrEqualTo ?NUMBER1 ?NUMBER2) 是真的以防 ?NUMBER1 的 Quantity 少于或者等于 ?NUMBER2 的 Quantity。") chinese_format.kif 1733-1734
(documentation lessThanOrEqualTo EnglishLanguage "(lessThanOrEqualTo ?NUMBER1 ?NUMBER2) is true just in case the Quantity ?NUMBER1 is less than or equal to the Quantity ?NUMBER2.") Merge.kif 1803-1805
(domain lessThanOrEqualTo 1 RealNumber) Merge.kif 1800-1800 The number 1 argument of less than or equal to is an instance of real number
(domain lessThanOrEqualTo 2 RealNumber) Merge.kif 1801-1801 The number 2 argument of less than or equal to is an instance of real number
(instance lessThanOrEqualTo BinaryPredicate) Merge.kif 1796-1796 less than or equal to is an instance of binary predicate
(instance lessThanOrEqualTo PartialOrderingRelation) Merge.kif 1797-1797 less than or equal to is an instance of partial ordering relation
(instance lessThanOrEqualTo RelationExtendedToQuantities) Merge.kif 1798-1798 less than or equal to is an instance of relation extended to quantities
(trichotomizingOn lessThanOrEqualTo RealNumber) Merge.kif 1799-1799 less than or equal to is trichotomizing on real number

appearance as argument number 2
-------------------------


(format ChineseLanguage lessThanOrEqualTo "%1 %n 是 lessThanOrEqualTo %2") chinese_format.kif 143-143
(format EnglishLanguage lessThanOrEqualTo "%1 is %n less than or equal to %2") english_format.kif 144-144
(inverse greaterThanOrEqualTo lessThanOrEqualTo) Merge.kif 1819-1819 greater than or equal to is an inverse of less than or equal to
(termFormat ChineseLanguage lessThanOrEqualTo "小于或等于") domainEnglishFormat.kif 34134-34134
(termFormat ChineseLanguage lessThanOrEqualTo "少于或等于") chinese_format.kif 144-144
(termFormat ChineseTraditionalLanguage lessThanOrEqualTo "小於或等於") domainEnglishFormat.kif 34133-34133
(termFormat EnglishLanguage lessThanOrEqualTo "less than or equal to") domainEnglishFormat.kif 34132-34132

antecedent
-------------------------


(<=>
    (lessThanOrEqualTo ?NUMBER1 ?NUMBER2)
    (or
        (equal ?NUMBER1 ?NUMBER2)
        (lessThan ?NUMBER1 ?NUMBER2)))
Merge.kif 1807-1811 A real number is less than or equal to another real number if and only if the real number is equal to the other real number or the real number is less than the other real number
(=>
    (and
        (commemoratesDate ?HOLIDAY
            (DayFn ?DAY
                (MonthFn ?MONTH
                    (YearFn ?YEAR))))
        (instance ?DATE ?HOLIDAY)
        (subclass ?HOLIDAY FixedHoliday)
        (lessThanOrEqualTo ?YEAR ?LATER-YEAR))
    (instance ?DATE
        (DayFn ?DAY
            (MonthFn ?MONTH
                (YearFn ?LATER-YEAR)))))
Government.kif 605-611
(=>
    (and
        (equal ?LIST3
            (ListConcatenateFn ?LIST1 ?LIST2))
        (not
            (equal ?LIST1 NullList))
        (not
            (equal ?LIST2 NullList))
        (lessThanOrEqualTo ?NUMBER1
            (ListLengthFn ?LIST1))
        (lessThanOrEqualTo ?NUMBER2
            (ListLengthFn ?LIST2))
        (instance ?NUMBER1 PositiveInteger)
        (instance ?NUMBER2 PositiveInteger))
    (and
        (equal
            (ListOrderFn ?LIST3 ?NUMBER1)
            (ListOrderFn ?LIST1 ?NUMBER1))
        (equal
            (ListOrderFn ?LIST3
                (AdditionFn
                    (ListLengthFn ?LIST1) ?NUMBER2))
            (ListOrderFn ?LIST2 ?NUMBER2))))
Merge.kif 3011-3030
(=>
    (and
        (instance ?AREA
            (MaritimeClaimsTerritorialSeaFn ?PLACE))
        (width ?AREA
            (MeasureFn ?WIDTH ?UNIT))
        (distance ?OBJ ?PLACE
            (MeasureFn ?DISTANCE ?UNIT))
        (lessThanOrEqualTo ?DISTANCE ?WIDTH))
    (located ?OBJ ?AREA))
Geography.kif 881-887
(=>
    (and
        (instance ?GUN Gun)
        (instance ?U UnitOfLength)
        (effectiveRange ?GUN
            (MeasureFn ?LM ?U))
        (distance ?GUN ?O
            (MeasureFn ?LM1 ?U))
        (instance ?O Organism)
        (not
            (exists (?O2)
                (between ?O ?O2 ?GUN)))
        (lessThanOrEqualTo ?LM1 ?LM))
    (capability
        (KappaFn ?KILLING
            (and
                (instance ?KILLING Killing)
                (patient ?KILLING ?O))) instrument ?GUN))
Mid-level-ontology.kif 1373-1391
(=>
    (and
        (instance ?GUN Gun)
        (instance ?U UnitOfLength)
        (effectiveRange ?GUN
            (MeasureFn ?LM ?U))
        (distance ?GUN ?O
            (MeasureFn ?LM1 ?U))
        (not
            (exists (?O2)
                (between ?O ?O2 ?GUN)))
        (lessThanOrEqualTo ?LM1 ?LM))
    (capability
        (KappaFn ?DAMAGING
            (and
                (instance ?DAMAGING Damaging)
                (patient ?DAMAGING ?O))) instrument ?GUN))
Mid-level-ontology.kif 1352-1369
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T1
            (age ?H
                (MeasureFn ?N YearDuration)))
        (lessThanOrEqualTo ?N 1))
    (holdsDuring ?T1
        (instance ?H HumanBaby)))
Mid-level-ontology.kif 385-390
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T1
            (age ?H
                (MeasureFn ?N YearDuration)))
        (lessThanOrEqualTo ?N 14))
    (holdsDuring ?T1
        (instance ?H HumanChild)))
Mid-level-ontology.kif 304-311
(=>
    (and
        (instance ?ZEPHYR WindFlow)
        (instance ?PLACE Object)
        (partlyLocated ?ZEPHYR ?PLACE)
        (elevation ?ZEPHYR
            (MeasureFn ?X FootLength))
        (lessThanOrEqualTo ?X 500.0)
        (measure ?ZEPHYR
            (SpeedFn ?DIST ?TIME)))
    (surfaceWindSpeed ?PLACE
        (SpeedFn ?DIST ?TIME)))
Weather.kif 148-157
(=>
    (and
        (maximumPayloadCapacity ?V
            (MeasureFn ?WEIGHT ?UNITWEIGHT))
        (maximumPayloadHeightWidth ?V
            (MeasureFn ?HEIGHT ?UNITHEIGHT)
            (MeasureFn ?WIDTH ?UNITWIDTH))
        (instance ?O SelfConnectedObject)
        (weight ?O
            (MeasureFn ?WEO ?WEOU))
        (width ?O
            (MeasureFn ?WO ?WOU))
        (height ?O
            (MeasureFn ?HO ?HOU))
        (equal ?WEOU ?UNITWEIGHT)
        (equal ?WOU ?UNITWIDTH)
        (equal ?HOU ?UNITHEIGHT)
        (lessThanOrEqualTo ?WEO ?WEIGHT)
        (lessThanOrEqualTo ?WO ?WIDTH)
        (lessThanOrEqualTo ?HO ?HEIGHT))
    (capability
        (KappaFn ?TRANSPORT
            (and
                (instance ?TRANSPORT Transportation)
                (patient ?TRANSPORT ?O))) instrument ?V))
MilitaryDevices.kif 144-169
(=>
    (and
        (navigableForDraft ?WATERWAY
            (MeasureFn ?AMOUNT Meter))
        (ladenDraft ?SHIP
            (MeasureFn ?DRAFT Meter))
        (lessThanOrEqualTo ?AMOUNT ?DRAFT))
    (not
        (capability
            (TripFn ?SHIP) path ?WATERWAY)))
Transportation.kif 2667-2672
(=>
    (and
        (navigableForShippingTonnage ?WATERWAY
            (MeasureFn ?TONNAGE LongTon))
        (instance ?VESSEL WaterVehicle)
        (vesselDisplacement ?VESSEL
            (MeasureFn ?DWT LongTon))
        (lessThanOrEqualTo ?DWT ?TONNAGE))
    (capability
        (TripFn ?VESSEL) path ?WATERWAY))
Transportation.kif 2644-2650
(=>
    (and
        (orientation ?OBJ ?REGION Outside)
        (instance ?ZONE
            (PerimeterAreaFn ?REGION))
        (instance ?ZONE UniformPerimeterArea)
        (width ?ZONE
            (MeasureFn ?LIMIT ?UNIT))
        (distance ?OBJ ?REGION
            (MeasureFn ?FAR ?UNIT))
        (instance ?UNIT UnitOfMeasure)
        (lessThanOrEqualTo
            (SubtractionFn ?FAR ?LIMIT) 0.0))
    (located ?OBJ ?ZONE))
Geography.kif 859-868

consequent
-------------------------


(<=>
    (average ?LIST1 ?AVERAGE)
    (exists (?LIST2)
        (and
            (equal
                (ListLengthFn ?LIST2)
                (ListLengthFn ?LIST1))
            (equal
                (ListOrderFn ?LIST2 1)
                (ListOrderFn ?LIST1 1))
            (forall (?ITEMFROM2)
                (=>
                    (inList ?ITEMFROM2 ?LIST2)
                    (exists (?POSITION ?POSITIONMINUSONE ?ITEMFROM1 ?PRIORFROM2)
                        (and
                            (greaterThan ?POSITION 1)
                            (lessThanOrEqualTo ?POSITION
                                (ListLengthFn ?LIST2))
                            (equal
                                (ListOrderFn ?LIST2 ?ITEMFROM2) ?POSITION)
                            (inList ?ITEMFROM1 ?LIST1)
                            (equal ?POSITION
                                (ListOrderFn ?LIST1 ?ITEMFROM1))
                            (inList ?PRIORFROM2 ?LIST2)
                            (equal ?POSITIONMINUSONE
                                (SubtractionFn ?POSITION 1))
                            (equal ?POSITIONMINUSONE
                                (ListOrderFn ?LIST2 ?PRIORFROM2))
                            (equal ?ITEMFROM2
                                (AdditionFn ?ITEMFROM1 ?PRIORFROM2))))))
            (equal ?LASTPLACE
                (ListLengthFn ?LIST2))
            (equal ?AVERAGE
                (DivisionFn
                    (ListOrderFn ?LIST2 ?LASTPLACE) ?LASTPLACE)))))
People.kif 289-310 A real number is an average of a list if and only if there exists another list such that length of the other list is equal to length of the list and 1th element of the other list is equal to 1th element of the list and for all a positive integer and a fourth positive integer is equal to length of the other list and the real number is equal to the fourth positive integerth element of the other list and the fourth positive integer
(=>
    (and
        (equal
            (MaximalWeightedPathFn ?NODE1 ?NODE2) ?PATH)
        (equal
            (PathWeightFn ?PATH) ?NUMBER1))
    (forall (?PATH2)
        (=>
            (and
                (instance ?PATH2
                    (GraphPathFn ?NODE1 ?NODE2))
                (equal
                    (PathWeightFn ?PATH2) ?NUMBER2))
            (lessThanOrEqualTo ?NUMBER2 ?NUMBER1))))
Merge.kif 5945-5954
(=>
    (and
        (instance
            (LatitudeFn ?DIRECTION @ROW) Region)
        (equal
            (ListOrderFn
                (ListFn @ROW) 1)
            (MeasureFn ?NUM AngularDegree)))
    (lessThanOrEqualTo ?NUM 90.0))
Geography.kif 427-431
(=>
    (and
        (instance
            (LongitudeFn ?DIRECTION @ROW) Region)
        (equal
            (ListOrderFn
                (ListFn @ROW) 1)
            (MeasureFn ?NUM AngularDegree)))
    (lessThanOrEqualTo ?NUM 180.0))
Geography.kif 467-474
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT LongRunwayAirport))
    (exists (?RUNWAY ?LENGTH)
        (and
            (instance ?RUNWAY Runway)
            (part ?RUNWAY ?AIRPORT)
            (length ?RUNWAY
                (MeasureFn ?LENGTH Meter))
            (or
                (greaterThanOrEqualTo ?LENGTH 2438)
                (lessThanOrEqualTo ?LENGTH 3047)))))
Transportation.kif 1445-1457
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT MediumLengthRunwayAirport))
    (exists (?RUNWAY ?LENGTH)
        (and
            (instance ?RUNWAY Runway)
            (part ?RUNWAY ?AIRPORT)
            (length ?RUNWAY
                (MeasureFn ?LENGTH Meter))
            (or
                (greaterThanOrEqualTo ?LENGTH 1524)
                (lessThanOrEqualTo ?LENGTH 2437)))))
Transportation.kif 1426-1438
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT ShortRunwayAirport))
    (exists (?RUNWAY ?LENGTH)
        (and
            (instance ?RUNWAY Runway)
            (part ?RUNWAY ?AIRPORT)
            (length ?RUNWAY
                (MeasureFn ?LENGTH Meter))
            (or
                (greaterThanOrEqualTo ?LENGTH 914)
                (lessThanOrEqualTo ?LENGTH 1523)))))
Transportation.kif 1407-1419
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?WEATHER PartlyCloudyWeather)
        (eventLocated ?WEATHER ?AREA)
        (cloudCoverFraction ?AREA ?FRACTION))
    (and
        (greaterThanOrEqualTo ?FRACTION 0.3)
        (lessThanOrEqualTo ?FRACTION 0.7)))
Weather.kif 917-925
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?WEATHER PartlyCloudyWeather)
        (eventLocated ?WEATHER ?AREA))
    (exists (?FRACTION)
        (and
            (cloudCoverFraction ?AREA ?FRACTION)
            (greaterThanOrEqualTo ?FRACTION 0.3)
            (lessThanOrEqualTo ?FRACTION 0.7))))
Weather.kif 906-915
(=>
    (and
        (instance ?CITY City)
        (part ?CITY France))
    (lessThanOrEqualTo
        (CardinalityFn
            (ResidentFn ?CITY))
        (CardinalityFn
            (ResidentFn Paris))))
CountriesAndRegions.kif 59-65
(=>
    (and
        (instance ?ELECTION
            (ElectionFn ?POLITY))
        (instance ?ACT
            (VotingFn ?ELECTION))
        (agent ?ACT ?AGENT)
        (suffrageAgeMaximum ?POLITY
            (MeasureFn ?VOTINGAGE YearDuration))
        (age ?AGENT
            (MeasureFn ?AGE YearDuration)))
    (lessThanOrEqualTo ?AGE ?VOTINGAGE))
Government.kif 1060-1069
(=>
    (and
        (instance ?ELECTION
            (ElectionFn ?POLITY))
        (instance ?ACT
            (VotingFn ?ELECTION))
        (agent ?ACT ?AGENT)
        (suffrageAgeMaximum ?POLITY
            (MeasureFn ?VOTINGAGE YearDuration)))
    (exists (?AGE)
        (and
            (age ?AGENT
                (MeasureFn ?AGE YearDuration))
            (lessThanOrEqualTo ?AGE ?VOTINGAGE))))
Government.kif 1047-1058
(=>
    (and
        (instance ?H Hurricane)
        (instance ?SS SSHWSAttribute)
        (eventLocated ?H ?AREA)
        (believes ?A
            (property ?H ?SS))
        (speedScaleAttributeMinMax ?SS
            (MeasureFn ?MIN ?U)
            (MeasureFn ?MAX ?U))
        (instance ?U UnitOfMeasure))
    (exists (?WIND)
        (and
            (greaterThanOrEqualTo ?WIND ?MIN)
            (lessThanOrEqualTo ?WIND ?MAX)
            (believes ?A
                (equal
                    (MeasureFn ?WIND ?U)
                    (Mean1MinuteWindSpeedFn ?AREA
                        (WhenFn ?H)))))))
Weather.kif 2364-2383
(=>
    (and
        (instance ?ICE Ice)
        (measure ?ICE
            (MeasureFn ?NUMBER CelsiusDegree)))
    (lessThanOrEqualTo ?NUMBER 0.0))
Mid-level-ontology.kif 8588-8592
(=>
    (and
        (instance ?RR Railway)
        (property ?RR NarrowGauge)
        (trackWidth ?RR
            (MeasureFn ?WIDTH Meter)))
    (lessThanOrEqualTo ?WIDTH 1.435))
Transportation.kif 453-458
(=>
    (and
        (instance ?RR Railway)
        (property ?RR StandardGauge)
        (trackWidth ?RR
            (MeasureFn ?WIDTH Meter)))
    (lessThanOrEqualTo ?WIDTH 1.44))
Transportation.kif 435-441
(=>
    (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 2095-2113
(=>
    (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
(=>
    (and
        (instance ?ZONE ExclusiveFishingZone)
        (linearExtent ?ZONE
            (MeasureFn ?WIDTH NauticalMile)))
    (lessThanOrEqualTo ?WIDTH 200.0))
Geography.kif 1148-1153
(=>
    (and
        (instance ?ZONE ExtendedFishingZone)
        (linearExtent ?ZONE
            (MeasureFn ?WIDTH NauticalMile)))
    (lessThanOrEqualTo ?WIDTH 200.0))
Geography.kif 1180-1185
(=>
    (and
        (instance ?ZONE MaritimeExclusiveEconomicZone)
        (linearExtent ?ZONE
            (MeasureFn ?WIDTH NauticalMile)))
    (lessThanOrEqualTo ?WIDTH 200.0))
Geography.kif 1116-1121
(=>
    (and
        (instance ?ZONE MaritimeShelfArea)
        (linearExtent ?ZONE
            (MeasureFn ?WIDTH NauticalMile)))
    (lessThanOrEqualTo ?WIDTH 200.0))
Geography.kif 1075-1080
(=>
    (and
        (instance ?ZONE TerritorialSea)
        (linearExtent ?ZONE
            (MeasureFn ?WIDTH NauticalMile)))
    (lessThanOrEqualTo ?WIDTH 12.0))
Geography.kif 1221-1226
(=>
    (and
        (lengthOfCrudeOilPipeline ?AREA
            (MeasureFn ?AMOUNT1 Meter))
        (totalPipelineInArea ?AREA
            (MeasureFn ?AMOUNT2 Meter)))
    (lessThanOrEqualTo ?AMOUNT1 ?AMOUNT2))
Transportation.kif 721-725
(=>
    (and
        (lengthOfNaturalGasPipeline ?AREA
            (MeasureFn ?AMOUNT1 Meter))
        (totalPipelineInArea ?AREA
            (MeasureFn ?AMOUNT2 Meter)))
    (lessThanOrEqualTo ?AMOUNT1 ?AMOUNT2))
Transportation.kif 744-748

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0
-------------------------


(lessThanOrEqualTo
    (CardinalityFn TwelveApostles) 12)
Media.kif 1964-1964 The number of instances in TwelveApostles is less than or equal to 12


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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