![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation PositiveInteger ChineseLanguage "这是一个大于零的 Integer。") | chinese_format.kif 1754-1754 | |
(documentation PositiveInteger EnglishLanguage "An Integer that is greater than zero.") | Merge.kif 1937-1937 | |
(subclass PositiveInteger NonnegativeInteger) | Merge.kif 1934-1934 | Positive integer is a subclass of nonnegative integer |
(subclass PositiveInteger PositiveRealNumber) | Merge.kif 1935-1935 | Positive integer is a subclass of positive real number |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage PositiveInteger "正整数") | chinese_format.kif 872-872 | |
(termFormat EnglishLanguage PositiveInteger "positive integer") | english_format.kif 946-946 |
appearance as argument number 3 |
![]() |
antecedent |
![]() |
![]() |
![]() |