pm#atomic_ADT__atomic_abstract_data_type
  exclusion:  sumo#physical_quantity  pm#structured_ADT
  supertype:  sumo#quantity (sumo)  pm#description_medium
  subtype:  sumo#number
     subtype:  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
        subtype:  sumo#rational_number  real_number that is the product of dividing two integers
           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
        subtype:  sumo#irrational_number
        subtype:  sumo#nonnegative_real_number  real_number >= 0
           subtype:  sumo#nonnegative_integer__nonnegativeinteger  integer >= 0
           subtype:  sumo#positive_real_number  real_number > 0
              subtype:  sumo#positive_integer  integer > 0
        subtype:  sumo#negative_real_number  real_number < 0
           subtype:  sumo#negative_integer  integer < 0
        subtype:  sumo#binary_number  elements from the number system with base 2; every binary_number is expressed as a sequence of the digits 1 and 0
        subtype:  xsd#decimal
     subtype:  sumo#imaginary_number__imaginarynumber  a number that is the result of multiplying a real_number by the square root of -1
     subtype:  sumo#complex_number__complexnumber  a number that has the form: x + yi, where x and y are real_numbers and i is the square root of -1
  subtype:  pm#boolean  two instances: true and false
     instance:  kif#true  kif#false

No statement uses or specializes pm#atomic_ADT; click here to add one.