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