NonnegativeInteger
|
|
appearance as argument number 1 |
(documentation NonnegativeInteger ChineseLanguage "这是一个大于或等于零的 Integer。") | chinese_format.kif 1752-1752 | |
(documentation NonnegativeInteger EnglishLanguage "An Integer that is greater than or equal to zero.") | Merge.kif 1978-1979 | |
(documentation NonnegativeInteger JapaneseLanguage "ゼロ 以上の大きい Integer 。") | japanese_format.kif 361-361 | |
(subclass NonnegativeInteger Integer) | Merge.kif 1975-1975 | 非負整数 は 整数 の subclass では %n |
(subclass NonnegativeInteger NonnegativeRealNumber) | Merge.kif 1976-1976 | 非負整数 は 非負実数 の subclass では %n |
appearance as argument number 2 |
(range BidCountFn NonnegativeInteger) | UXExperimentalTerms.kif 2914-2914 | BidCountFn の range は 非負整数 のインスタンス では %n |
(range BoughtItemsFn NonnegativeInteger) | UXExperimentalTerms.kif 2880-2880 | BoughtItemsFn の range は 非負整数 のインスタンス では %n |
(range IntegerSquareRootFn NonnegativeInteger) | Merge.kif 4925-4925 | IntegerSquareRootFn の range は 非負整数 のインスタンス では %n |
(range ListLengthFn NonnegativeInteger) | Merge.kif 3016-3016 | ListLengthFn の range は 非負整数 のインスタンス では %n |
(range StringLengthFn NonnegativeInteger) | Mid-level-ontology.kif 24735-24735 | StringLengthFn の range は 非負整数 のインスタンス では %n |
(subclass PositiveInteger NonnegativeInteger) | Merge.kif 1994-1994 | 正の整数 は 非負整数 の subclass では %n |
(termFormat ChineseLanguage NonnegativeInteger "非负整数") | chinese_format.kif 870-870 | 正の整数 は 非負整数 の subclass では %n |
(termFormat EnglishLanguage NonnegativeInteger "nonnegative integer") | english_format.kif 942-942 | 正の整数 は 非負整数 の subclass では %n |
(termFormat FrenchLanguage NonnegativeInteger "nombre entier non n�gatif") | french_format.kif 546-546 | 正の整数 は 非負整数 の subclass では %n |
(termFormat Hindi NonnegativeInteger "aQNaatmaka pUrNaanka") | terms-hindi.txt 76-76 | 正の整数 は 非負整数 の subclass では %n |
(termFormat ItalianLanguage NonnegativeInteger "NumeroInteroNonNegativo") | terms-it.txt 79-79 | 正の整数 は 非負整数 の subclass では %n |
(termFormat JapaneseLanguage NonnegativeInteger "非負整数") | japanese_format.kif 2231-2231 | 正の整数 は 非負整数 の subclass では %n |
(termFormat PortugueseLanguage NonnegativeInteger "Numero Inteiro nao-negativo") | portuguese_format.kif 498-498 | 正の整数 は 非負整数 の subclass では %n |
(termFormat cz NonnegativeInteger "nonnegative integer") | terms-cz.txt 113-113 | 正の整数 は 非負整数 の subclass では %n |
(termFormat ro NonnegativeInteger "întreg nenegativ") | relations-ro.kif 567-567 | 正の整数 は 非負整数 の subclass では %n |
(termFormat tg NonnegativeInteger "") | terms-tg.txt 80-80 | 正の整数 は 非負整数 の subclass では %n |
appearance as argument number 3 |
antecedent |
(=> (instance ?X NonnegativeInteger) (greaterThan ?X -1)) |
Merge.kif 1981-1983 |
consequent |
(=> (instance ?SET FiniteSet) (exists (?NUMBER) (and (instance ?NUMBER NonnegativeInteger) (equal ?NUMBER (CardinalityFn ?SET))))) |
Merge.kif 5543-5548 |