lessThanOrEqualTo |
appearance as argument number 1 |
![]() |
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 | |
(format FrenchLanguage lessThanOrEqualTo "%1 est %n plus petit ou �gal � %2") | french_format.kif 93-93 | |
(format ItalianLanguage lessThanOrEqualTo "%1 è%n minore o uguale a %2") | relations-it.txt 164-164 | |
(format JapaneseLanguage lessThanOrEqualTo "%1 は %2 より less または同等 では %n") | japanese_format.kif 1920-1920 | |
(format PortugueseLanguage lessThanOrEqualTo "%1 e' %n menor ou igual a %2") | portuguese_format.kif 45-45 | |
(format cz lessThanOrEqualTo "%1 %p{je} %n{nen�} men�� ne� nebo roven %2") | relations-cz.txt 78-78 | |
(format de lessThanOrEqualTo "%1 ist kleinerAlsOderGleich %2 %n{nicht}") | relations-de.txt 174-174 | |
(format hi lessThanOrEqualTo "%1 %2 se kama yaa baraabara %n hai") | relations-hindi.txt 203-203 | |
(format ro lessThanOrEqualTo "%1 %n{nu} este less%t{mai mic} sau egal decât %2") | relations-ro.kif 112-112 | |
(format sv lessThanOrEqualTo "%1 är %n{inte} mindre än eller lika med %2") | relations-sv.txt 92-92 | |
(format tg lessThanOrEqualTo "%1 %n ay meno o pareho ng %2") | relations-tg.txt 327-327 | |
(inverse greaterThanOrEqualTo lessThanOrEqualTo) | Merge.kif 1889-1889 | greaterThanOrEqualTo は lessThanOrEqualTo の inverse では |
(termFormat ChineseLanguage lessThanOrEqualTo "小于或等于") | domainEnglishFormat.kif 34162-34162 | greaterThanOrEqualTo は lessThanOrEqualTo の inverse では |
(termFormat ChineseLanguage lessThanOrEqualTo "少于或等于") | chinese_format.kif 144-144 | greaterThanOrEqualTo は lessThanOrEqualTo の inverse では |
(termFormat ChineseTraditionalLanguage lessThanOrEqualTo "小於或等於") | domainEnglishFormat.kif 34161-34161 | greaterThanOrEqualTo は lessThanOrEqualTo の inverse では |
(termFormat EnglishLanguage lessThanOrEqualTo "less than or equal to") | domainEnglishFormat.kif 34160-34160 | greaterThanOrEqualTo は lessThanOrEqualTo の inverse では |
(termFormat de lessThanOrEqualTo "kleinerAlsOderGleich") | terms-de.txt 53-53 | greaterThanOrEqualTo は lessThanOrEqualTo の inverse では |
(termFormat tg lessThanOrEqualTo "meno o pareho ng") | relations-tg.txt 328-328 | greaterThanOrEqualTo は lessThanOrEqualTo の inverse では |
antecedent |
![]() |
(<=> (lessThanOrEqualTo ?NUMBER1 ?NUMBER2) (or (equal ?NUMBER1 ?NUMBER2) (lessThan ?NUMBER1 ?NUMBER2))) |
Merge.kif 1877-1881 | 実数 は 実数 より less または同等 では equal 実数 and 実数 実数 は 実数 より less では |
(=> (and (attribute ?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 (KappaFn ?Buy (and (instance ?Buy Buying) (patient ?Buy ?Object) (measure ?Object ?Quantity) (equal (WhenFn ?Buy) ?BuyingTime) (overlapsTemporally ?Time ?BuyingTime))) ?Broker)) |
FinancialOntology.kif 2025-2046 |
|
(=> (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 | |
(=> (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 3096-3115 |
|
(=> (and (instance ?AREA (MaritimeClaimsTerritorialSeaFn ?PLACE)) (width ?AREA (MeasureFn ?WIDTH ?UNIT)) (distance ?OBJ ?PLACE (MeasureFn ?DISTANCE ?UNIT)) (lessThanOrEqualTo ?DISTANCE ?WIDTH)) (located ?OBJ ?AREA)) |
Geography.kif 1039-1045 | |
(=> (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 1634-1653 | |
(=> (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 1612-1630 | |
(=> (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 136-145 | |
(=> (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 3191-3196 |
|
(=> (and (navigableForShippingTonnage ?WATERWAY (MeasureFn ?TONNAGE LongTon)) (instance ?VESSEL WaterVehicle) (vesselDisplacement ?VESSEL (MeasureFn ?DWT LongTon)) (lessThanOrEqualTo ?DWT ?TONNAGE)) (capability (TripFn ?VESSEL) path ?WATERWAY)) |
Transportation.kif 3168-3174 |
|
(=> (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 1017-1026 |
consequent |
![]() |
appearance as argument number 0 |
![]() |
(lessThanOrEqualTo (CardinalityFn TwelveApostles) 12) |
Media.kif 1968-1968 | TwelveApostles の instances の数 は 12 より less または同等 では |
![]() |
![]() |