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

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