sumo#rational_number  real_number that is the product of dividing two integers
  closed_exclusion:  sumo#irrational_number
  supertype:  sumo#real_number  a number that can be expressed as a (possibly infinite) decimal, i.e. a number that has a position on the number line
  equal:  kif#rational (pm)
  subtype:  sumo#integer  a negative or nonnegative whole number
     subtype:  sumo#nonnegative_integer__nonnegativeinteger  integer >= 0
        subtype:  sumo#positive_integer  integer > 0
        subtype:  kif#zero  class containing only 0
     subtype:  sumo#negative_integer  integer < 0
     subtype:  sumo#even_integer  integer that is evenly divisible by 2
     subtype:  sumo#odd_integer__oddinteger  integer that is not evenly divisible by 2
     subtype:  sumo#prime_number__primenumber

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