(subclass NonnegativeInteger Integer) | Merge.kif 1975-1975 | NumeroInteroNonNegativo è una sottoclasse di NumeroIntero |
(subclass NonnegativeInteger NonnegativeRealNumber) | Merge.kif 1976-1976 | NumeroInteroNonNegativo è una sottoclasse di NumeroRealeNonNegativo |
(subclass PositiveInteger NonnegativeInteger) | Merge.kif 1994-1994 | NumeroInteroPositivo è una sottoclasse di NumeroInteroNonNegativo |