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 | |
(inverse greaterThanOrEqualTo lessThanOrEqualTo) | Merge.kif 1786-1786 | inverse greaterThanOrEqualTo and lessThanOrEqualTo |
(termFormat ChineseLanguage lessThanOrEqualTo "小于或等于") | domainEnglishFormat.kif 34063-34063 | termFormat ChineseLanguage, lessThanOrEqualTo and "小于或等于" |
(termFormat ChineseLanguage lessThanOrEqualTo "少于或等于") | chinese_format.kif 144-144 | termFormat ChineseLanguage, lessThanOrEqualTo and "少于或等于" |
(termFormat ChineseTraditionalLanguage lessThanOrEqualTo "小於或等於") | domainEnglishFormat.kif 34062-34062 | termFormat ChineseTraditionalLanguage, lessThanOrEqualTo and "小於或等於" |
(termFormat EnglishLanguage lessThanOrEqualTo "less than or equal to") | domainEnglishFormat.kif 34061-34061 | termFormat EnglishLanguage, lessThanOrEqualTo and "less than or equal to" |
antecedent |
![]() |
consequent |
![]() |
appearance as argument number 0 |
![]() |
(lessThanOrEqualTo (CardinalityFn TwelveApostles) 12) |
Media.kif 1968-1968 | lessThanOrEqualTo CardinalityFn TwelveApostles and 12 |
(lessThanOrEqualTo (MeasureFn ?NUMBER MonthDuration) (MeasureFn (MultiplicationFn ?NUMBER 31) DayDuration)) |
Merge.kif 6708-6710 | lessThanOrEqualTo MeasureFn RealNumber and MonthDuration and MeasureFn MultiplicationFn RealNumber and 31 and DayDuration |
![]() |
![]() |