Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - lessThanOrEqualTo
lessThanOrEqualTo

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


(instance lessThanOrEqualTo BinaryPredicate) Merge.kif 1959-1959 less than or equal to is an instance of binary predicate
(instance lessThanOrEqualTo PartialOrderingRelation) Merge.kif 1960-1960 less than or equal to is an instance of partial ordering relation
(instance lessThanOrEqualTo RelationExtendedToQuantities) Merge.kif 1961-1961 less than or equal to is an instance of relation extended to quantities
(trichotomizingOn lessThanOrEqualTo RealNumber) Merge.kif 1962-1962 less than or equal to is trichotomizing on real number
(domain lessThanOrEqualTo 1 RealNumber) Merge.kif 1963-1963 The number 1 argument of less than or equal to is an instance of real number
(domain lessThanOrEqualTo 2 RealNumber) Merge.kif 1964-1964 The number 2 argument of less than or equal to is an instance of real number
(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 1966-1968 The number 2 argument of less than or equal to is an instance of real number

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


(inverse greaterThanOrEqualTo lessThanOrEqualTo) Merge.kif 1982-1982 greater than or equal to is an inverse of less than or equal to
(termFormat EnglishLanguage lessThanOrEqualTo "less than or equal to") domainEnglishFormat.kif 34153-34153 greater than or equal to is an inverse of less than or equal to
(termFormat ChineseTraditionalLanguage lessThanOrEqualTo "小於或等於") domainEnglishFormat.kif 34154-34154 greater than or equal to is an inverse of less than or equal to
(termFormat ChineseLanguage lessThanOrEqualTo "小于或等于") domainEnglishFormat.kif 34155-34155 greater than or equal to is an inverse of less than or equal to
(format EnglishLanguage lessThanOrEqualTo "%1 is %n less than or equal to %2") english_format.kif 144-144 greater than or equal to is an inverse of less than or equal to

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


(<=>
    (lessThanOrEqualTo ?NUMBER1 ?NUMBER2)
    (or
        (equal ?NUMBER1 ?NUMBER2)
        (lessThan ?NUMBER1 ?NUMBER2)))		 Merge.kif 1970-1974 X is less than, equal to Y if, only if equal X, and Y, or X is less than Y
(=>
    (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 3194-3213 If All of the following hold: (1) equal X, the list composed of Y, and Z (2) equal Y and null list (3) equal Z and null list (4) W is less than or equal to length of Y (5) V is less than or equal to length of Z (6) W is an instance of positive integer (7) V is an instance of positive integer, then equal U element of X and U element of Y and equal (length of Y and V)th element of X and T element of Z
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T1
            (age ?H
                (MeasureFn ?N YearDuration)))
        (lessThanOrEqualTo ?N 14))
    (holdsDuring ?T1
        (instance ?H HumanChild)))		 Mid-level-ontology.kif 294-301 If X is an instance of human, the age of X is Y year duration(s) holds during Z, and Y is less than or equal to 14, then X is an instance of human child holds during Z
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T1
            (age ?H
                (MeasureFn ?N YearDuration)))
        (lessThanOrEqualTo ?N 1))
    (holdsDuring ?T1
        (instance ?H HumanBaby)))		 Mid-level-ontology.kif 375-380 If X is an instance of human, the age of X is Y year duration(s) holds during Z, and Y is less than or equal to 1, then X is an instance of human baby holds during Z
(=>
    (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))
    (exists (?DAMAGING)
        (capability
            (KappaFn ?DAMAGING
                (and
                    (instance ?DAMAGING Damaging)
                    (patient ?DAMAGING ?O))) instrument ?GUN)))		 Mid-level-ontology.kif 1662-1680 If All of the following hold: (1) X is an instance of gun (2) Y is an instance of unit of length (3) Z Y(s) is an effective range of X (4) the distance between X and W is V Y(s) (5) there doesn't exist U such that U is between W and X (6) V is less than or equal to Z, then there exists T such that X is capable of doing the class described by T as a instrument
(=>
    (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))
    (exists (?KILLING)
        (capability
            (KappaFn ?KILLING
                (and
                    (instance ?KILLING Killing)
                    (patient ?KILLING ?O))) instrument ?GUN)))		 Mid-level-ontology.kif 1684-1703 If All of the following hold: (1) X is an instance of gun (2) Y is an instance of unit of length (3) Z Y(s) is an effective range of X (4) the distance between X and W is V Y(s) (5) W is an instance of organism (6) there doesn't exist U such that U is between W and X (7) V is less than or equal to Z, then there exists T such that X is capable of doing the class described by T as a instrument
(=>
    (and
        (instance ?Order LimitOrder)
        (partyToAgreement ?Order ?Broker)
        (attribute ?Broker Broker)
        (orderFor ?Order Buying ?Object)
        (measure ?Object ?Quantity)
        (limitPrice ?Order
            (MeasureFn ?LimitPrice ?U))
        (instance ?U UnitOfCurrency)
        (askPrice ?Object
            (MeasureFn ?Price ?U) ?Time)
        (lessThanOrEqualTo ?Price ?LimitPrice))
    (holdsObligation ?Broker
        (exists (?Buy)
            (and
                (instance ?Buy Buying)
                (patient ?Buy ?Object)
                (measure ?Object ?Quantity)
                (equal
                    (WhenFn ?Buy) ?BuyingTime)
                (overlapsTemporally ?Time ?BuyingTime)))))		 FinancialOntology.kif 2057-2077 If All of the following hold: (1) X is an instance of limit order (2) Y is a party to agreement of X (3) broker is an attribute of Y (4) X is order for buying for Z (5) the measure of Z is W (6) V U(s) is a limit price of X (7) U is an instance of unit of currency (8) T asks for S U(s) for Z (9) S is less than or equal to V, then Y is obliged to perform tasks of type there exists R such that R is an instance of buying, Z is a patient of R, the measure of Z is W, equal the time of existence of R, Q, and Q overlaps T
(=>
    (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 2310-2319 If All of the following hold: (1) X is outside of to Y (2) Z is an instance of the perimeter area of Y (3) Z is an instance of uniform perimeter area (4) the width of Z is W V(s) (5) the distance between X and Y is U V(s) (6) V is an instance of unit of measure (7) (U and W) is less than or equal to 0.0, then X is located at Z
(=>
    (and
        (instance ?AREA
            (MaritimeClaimsTerritorialSeaFn ?PLACE))
        (width ?AREA
            (MeasureFn ?WIDTH ?UNIT))
        (distance ?OBJ ?PLACE
            (MeasureFn ?DISTANCE ?UNIT))
        (lessThanOrEqualTo ?DISTANCE ?WIDTH))
    (located ?OBJ ?AREA))		 Geography.kif 2332-2338 If X is an instance of the maritime claims territorial sea of Y, the width of X is Z W(s), the distance between V and Y is U W(s), and U is less than or equal to Z, then V is located at X
(=>
    (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 583-589 If the day X of month the month Y is a commemorates date of Z, W is an instance of Z, Z is a subclass of fixed holiday, and V is less than or equal to ?LATER_YEAR, then W is an instance of the day X of month the month Y
(=>
    (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 If All of the following hold: (1) X Y(s) is a maximum payload capacity of Z (2) Z is maximum payload height width W V(s) for U T(s) (3) S is an instance of self connected object (4) R Q(s) is a weight of S (5) the width of S is P O(s) (6) the height of S is N M(s) (7) equal Q and Y (8) equal O and T (9) equal M and V (10) R is less than or equal to X (11) P is less than or equal to U (12) N is less than or equal to W, then Z is capable of doing the class described by L as a instrument
(=>
    (and
        (navigableForShippingTonnage ?WATERWAY
            (MeasureFn ?TONNAGE LongTon))
        (instance ?VESSEL WaterVehicle)
        (vesselDisplacement ?VESSEL
            (MeasureFn ?DWT LongTon))
        (lessThanOrEqualTo ?DWT ?TONNAGE))
    (capability
        (TripFn ?VESSEL) path ?WATERWAY))		 Transportation.kif 3711-3717 If X long ton(s) is a navigable for shipping tonnage of Y, Z is an instance of water vehicle, W long ton(s) is a vessel displacement of Z, and W is less than or equal to X, then Y is capable of doing the trip of Z as a path
(=>
    (and
        (navigableForDraft ?WATERWAY
            (MeasureFn ?AMOUNT Meter))
        (ladenDraft ?SHIP
            (MeasureFn ?DRAFT Meter))
        (lessThanOrEqualTo ?AMOUNT ?DRAFT))
    (not
        (capability
            (TripFn ?SHIP) path ?WATERWAY)))		 Transportation.kif 3734-3739 If X meter(s) is a navigable for draft of Y, Z meter(s) is a laden draft of W, and X is less than or equal to Z, then Y is not capable of doing the trip of W as a path
(=>
    (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 136-145 If All of the following hold: (1) X is an instance of wind flow (2) Y is an instance of object (3) X is partly located in Y (4) Z foot length(s) is an elevation of X (5) Z is less than or equal to 500.0 (6) the measure of X is W per V, then W per V is a surface wind speed of Y
(=>
    (holdsDuring ?T
        (and
            (equal ?D
                (SubtractionFn ?S ?L))
            (equal
                (MeasureFn ?S CelsiusDegree)
                (ThreeMonthsRunningMeanSSTFn Nino3Point4 ?M ?Y))
            (equal
                (MeasureFn ?L CelsiusDegree)
                (ThirtyYearAverageSSTForMonthFn Nino3Point4 ?M ?Y))
            (greaterThanOrEqualTo ?D -0.5)
            (lessThanOrEqualTo ?D 0.5)))
    (holdsDuring ?T
        (exists (?N ?A)
            (and
                (instance ?N ENSONeutralPhase)
                (instance ?A GeographicArea)
                (eventLocated ?N ?A)))))		 Weather.kif 592-610 If equal X and (Y and Z) and equal Y celsius degree(s) and ThreeMonthsRunningMeanSSTFn for month W year V in region Nino 3.4 and equal Z celsius degree(s) and ThirtyYearAverageSSTForMonthFn for month W in year V of region Nino 3.4 and X is greater than or equal to -0.5 and X is less than or equal to 0.5 holds during U, then there exist T, S such that T is an instance of Enso neutral phase, S is an instance of geographic area, and T is located at S holds during U

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


(=>
    (and
        (equal
            (MaximalWeightedPathFn ?NODE1 ?NODE2) ?PATH)
        (equal
            (PathWeightFn ?PATH) ?NUMBER1)
        (instance ?PATH2
            (GraphPathFn ?NODE1 ?NODE2))
        (equal
            (PathWeightFn ?PATH2) ?NUMBER2))
    (lessThanOrEqualTo ?NUMBER2 ?NUMBER1))		 Merge.kif 6163-6169 If equal the highest cost path between X, Y, and Z, equal the value of Z and W, V is an instance of the set of paths between X and Y, and equal the value of V and U, then U is less than or equal to W
(=>
    (equal
        (MeasureFn 1 MonthDuration)
        (MeasureFn ?NUMBER DayDuration))
    (lessThanOrEqualTo ?NUMBER 31))		 Merge.kif 7247-7251 If equal 1 month duration(s) and X day duration(s), then X is less than or equal to 31
(=>
    (measure ?ANGLE
        (MeasureFn ?NUMBER AngularDegree))
    (and
        (greaterThanOrEqualTo ?NUMBER 0.0)
        (lessThanOrEqualTo ?NUMBER 360.0)))		 Merge.kif 7509-7513 If the measure of X is Y angular degree(s), then Y is greater than or equal to 0.0 and Y is less than or equal to 360.0
(=>
    (instance ?DAY
        (DayFn ?NUMBER ?MONTH))
    (lessThanOrEqualTo ?NUMBER 31))		 Merge.kif 8801-8803 If X is an instance of the day Y of month Z, then Y is less than or equal to 31
(=>
    (holdsDuring ?TIME
        (and
            (instance ?CHILD HumanChild)
            (age ?CHILD
                (MeasureFn ?NUMBER YearDuration))))
    (lessThanOrEqualTo ?NUMBER 14))		 Mid-level-ontology.kif 277-282 If X is an instance of human child and the age of X is Y year duration(s) holds during Z, then Y is less than or equal to 14
(=>
    (holdsDuring ?TIME
        (and
            (instance ?BABY HumanBaby)
            (age ?BABY
                (MeasureFn ?NUMBER YearDuration))))
    (lessThanOrEqualTo ?NUMBER 1))		 Mid-level-ontology.kif 358-363 If X is an instance of human baby and the age of X is Y year duration(s) holds during Z, then Y is less than or equal to 1
(=>
    (potentialOfHydrogen ?S ?N)
    (and
        (greaterThanOrEqualTo ?N 0.0)
        (lessThanOrEqualTo ?N 14.0)))		 Mid-level-ontology.kif 3915-3919 If X is a potential of hydrogen of Y, then X is greater than or equal to 0.0 and X is less than or equal to 14.0
(=>
    (and
        (instance ?ICE Ice)
        (measure ?ICE
            (MeasureFn ?NUMBER CelsiusDegree)))
    (lessThanOrEqualTo ?NUMBER 0.0))		 Mid-level-ontology.kif 10352-10356 If X is an instance of ice and the measure of X is Y celsius degree(s), then Y is less than or equal to 0.0
(=>
    (and
        (subString ?S1 ?S2)
        (equal ?L1
            (StringLengthFn ?S1))
        (equal ?L2
            (StringLengthFn ?S2)))
    (lessThanOrEqualTo ?L1 ?L2))		 Mid-level-ontology.kif 26699-26704 If X is a sub-string of Y, equal Z and the length of X, and equal W and the length of Y, then Z is less than or equal to W
(=>
    (and
        (distanceOfParallelLinesInSpace ?L1 ?L2
            (MeasureFn ?D ?U))
        (instance ?U UnitOfLength)
        (parallelLinesInSpace ?L1 ?L2)
        (part ?P1 ?L1)
        (instance ?P1 PointInSpace)
        (part ?P2 ?L2)
        (instance ?P2 PointInSpace)
        (distance ?P1 ?P2
            (MeasureFn ?X ?U)))
    (lessThanOrEqualTo ?D ?X))		 Mid-level-ontology.kif 28003-28015 If All of the following hold: (1) X Y(s) is the distance of the parallelLinesInSpace Z and W (2) Y is an instance of unit of length (3) Z and W are parallel (4) V is a part of Z (5) V is an instance of point in space (6) U is a part of W (7) U is an instance of point in space (8) the distance between V and U is T Y(s), then X is less than or equal to T
(=>
    (and
        (instance ?CITY City)
        (part ?CITY France))
    (lessThanOrEqualTo
        (CardinalityFn
            (ResidentFn ?CITY))
        (CardinalityFn
            (ResidentFn ParisFrance))))		 CountriesAndRegions.kif 59-65 If X is an instance of city and X is a part of france, then the number of instances in the resident of X is less than or equal to the number of instances in the resident of paris
(=>
    (instance ?CITY AmericanCity)
    (lessThanOrEqualTo
        (CardinalityFn
            (ResidentFn ?CITY))
        (CardinalityFn
            (ResidentFn NewYorkCityUnitedStates))))		 CountriesAndRegions.kif 2135-2139 If X is an instance of american city, then the number of instances in the resident of X is less than or equal to the number of instances in the resident of new york city united states
(=>
    (sectorCompositionOfGDPInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD)
    (lessThanOrEqualTo ?FRACTION 1.0))		 Economy.kif 1156-1158 If X is the sector composition of GDP in period Y for Z with W, then Z is less than or equal to 1.0
(=>
    (sectorCompositionOfGDP ?AREA ?SECTOR ?FRACTION)
    (lessThanOrEqualTo ?FRACTION 1.0))		 Economy.kif 1171-1173 If X is sector composition of GDP Y for Z, then Z is less than or equal to 1.0
(=>
    (populationFractionBelowPovertyLineInPeriod ?AREA ?FRACTION ?PERIOD)
    (lessThanOrEqualTo ?FRACTION 1.0))		 Economy.kif 1255-1257 If X is population fraction below poverty line in period Y for Z, then Y is less than or equal to 1.0
(=>
    (populationFractionBelowPovertyLine ?AREA ?FRACTION)
    (lessThanOrEqualTo ?FRACTION 1.0))		 Economy.kif 1269-1271 If X is a population fraction below poverty line of Y, then X is less than or equal to 1.0
(=>
    (lowestDecileShareOfHouseholdIncomeInPeriod ?AREA ?FRACTION ?PERIOD)
    (lessThanOrEqualTo ?FRACTION 1.0))		 Economy.kif 1301-1303 If X lowest decile share of household income in period Y for Z, then Y is less than or equal to 1.0
(=>
    (lowestDecileShareOfHouseholdIncome ?AREA ?FRACTION)
    (lessThanOrEqualTo ?FRACTION 1.0))		 Economy.kif 1318-1320 If X is a lowest decile share of household income of Y, then X is less than or equal to 1.0
(=>
    (highestDecileShareOfHouseholdIncomeInPeriod ?AREA ?FRACTION ?PERIOD)
    (lessThanOrEqualTo ?FRACTION 1.0))		 Economy.kif 1346-1348 If X is highest decile share of household income in period Y for Z, then Y is less than or equal to 1.0
(=>
    (highestDecileShareOfHouseholdIncome ?AREA ?FRACTION)
    (lessThanOrEqualTo ?FRACTION 1.0))		 Economy.kif 1364-1366 If X is a highest decile share of household income of Y, then X is less than or equal to 1.0
(=>
    (incomeDistributionByGiniIndexInPeriod ?AREA ?INDEX ?PERIOD)
    (lessThanOrEqualTo ?INDEX 100.0))		 Economy.kif 1389-1391 If X income distribution by gini index in period Y for Z, then Y is less than or equal to 100.0
(=>
    (incomeDistributionByGiniIndex ?AREA ?INDEX)
    (lessThanOrEqualTo ?INDEX 100.0))		 Economy.kif 1402-1404 If X is an income distribution by gini index of Y, then X is less than or equal to 100.0
(=>
    (inflationRateOfConsumerPricesInPeriod ?AREA ?FRACTION ?PERIOD)
    (lessThanOrEqualTo ?FRACTION 1.0))		 Economy.kif 1430-1432 If X is inflation rate of consumer prices in period Y for Z, then Y is less than or equal to 1.0
(=>
    (laborForceFractionByOccupationInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD)
    (lessThanOrEqualTo ?FRACTION 1.0))		 Economy.kif 1519-1521 If X labor force fraction by occupation in period Y for Z with W, then Z is less than or equal to 1.0
(=>
    (laborForceFractionByOccupation ?AREA ?SECTOR ?FRACTION)
    (lessThanOrEqualTo ?FRACTION 1.0))		 Economy.kif 1535-1537 If X labor force fraction by occupation Y for Z, then Z is less than or equal to 1.0

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25