(subclass NonnegativeInteger Integer) | Merge.kif 1975-1975 | Nombre entier non n�gatif est une sous-classe de nombre entier |
(subclass NonnegativeInteger NonnegativeRealNumber) | Merge.kif 1976-1976 | Nombre entier non n�gatif est une sous-classe de nombre r�el non n�gatif |
(subclass PositiveInteger NonnegativeInteger) | Merge.kif 1994-1994 | Nombre entier positif est une sous-classe de nombre entier non n�gatif |