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 | 大于或等于 是 少于或等于 的 inverse |
(termFormat ChineseLanguage lessThanOrEqualTo "小于或等于") | domainEnglishFormat.kif 34162-34162 | 大于或等于 是 少于或等于 的 inverse |
(termFormat ChineseLanguage lessThanOrEqualTo "少于或等于") | chinese_format.kif 144-144 | 大于或等于 是 少于或等于 的 inverse |
(termFormat ChineseTraditionalLanguage lessThanOrEqualTo "小於或等於") | domainEnglishFormat.kif 34161-34161 | 大于或等于 是 少于或等于 的 inverse |
(termFormat EnglishLanguage lessThanOrEqualTo "less than or equal to") | domainEnglishFormat.kif 34160-34160 | 大于或等于 是 少于或等于 的 inverse |
(termFormat de lessThanOrEqualTo "kleinerAlsOderGleich") | terms-de.txt 53-53 | 大于或等于 是 少于或等于 的 inverse |
(termFormat tg lessThanOrEqualTo "meno o pareho ng") | relations-tg.txt 328-328 | 大于或等于 是 少于或等于 的 inverse |
antecedent |
![]() |
(<=> (lessThanOrEqualTo ?NUMBER1 ?NUMBER2) (or (equal ?NUMBER1 ?NUMBER2) (lessThan ?NUMBER1 ?NUMBER2))) |
Merge.kif 1877-1881 | 实数 是 lessThanOrEqualTo 另一个 实数 若且唯若 equal 那个 实数 and 那个 另外 实数 或 那个 实数 是 lessThan 那个 另外 实数 |
(=> (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 instance 的数量 是 lessThanOrEqualTo 12 |
![]() |
![]() |