sumo#integer  a negative or nonnegative whole number
  supertype:  rational_number  DigitalSubject (pm)
  equal:  integer (pm)  integer (pm)
  subtype:  nonnegative_integer__nonnegativeinteger  integer >= 0
     subtype:  positive_integer  integer > 0
     subtype:  zero  class containing only 0
  subtype:  negative_integer  integer < 0
  subtype:  even_integer  integer that is evenly divisible by 2
  subtype:  odd_integer__oddinteger  integer that is not evenly divisible by 2
  subtype:  prime_number__primenumber

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