sumo#nonnegative_integer__nonnegativeinteger  integer >= 0
  closed_exclusion:  negative_integer
  supertype:  nonnegative_real_number (pm)  integer  DigitalSubject (pm)
  equal:  nonNegativeInteger (pm)  natural (pm)  non_negative_integer (pm)
  second-of of:  time_point [48..49,*]
  minute-of of:  time_point [48..49,*]
  hour-of of:  time_point [48..49,*]
  day-of of:  time_point [48..49,*]
  month-of of:  time_point [48..49,*]
  year-of of:  time_point [48..49,*]
  second-of of:  Calendar-Date [48,*]
  minute-of of:  Calendar-Date [48,*]
  hour-of of:  Calendar-Date [48,*]
  subtype:  positive_integer  integer > 0
  subtype:  zero  class containing only 0

No statement uses or specializes nonnegative_integer; click here to add one.