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 1856-1856 | greater than or equal to is an inverse of less than or equal to |
(termFormat ChineseLanguage lessThanOrEqualTo "小于或等于") | domainEnglishFormat.kif 34129-34129 | |
(termFormat ChineseLanguage lessThanOrEqualTo "少于或等于") | chinese_format.kif 144-144 | |
(termFormat ChineseTraditionalLanguage lessThanOrEqualTo "小於或等於") | domainEnglishFormat.kif 34128-34128 | |
(termFormat EnglishLanguage lessThanOrEqualTo "less than or equal to") | domainEnglishFormat.kif 34127-34127 |
antecedent |
![]() |
consequent |
![]() |
appearance as argument number 0 |
![]() |
(lessThanOrEqualTo (CardinalityFn TwelveApostles) 12) |
Media.kif 1966-1966 | The number of instances in Twelve apostles is less than or equal to 12 |
![]() |
![]() |