pm#unary_function_type  class of functions requiring a single argument; if R is functional, then if R(x -> y) and P(x -> z) then y=z
  supertype:  function_type  binary_relation_type
  instance of:  class_of_inheritable_relation_type
  instance:  unary_function  power_set_fn  front_fn  back_fn  abstraction_fn  extension_fn  probability_fn  list_length_fn  property_fn  absolute_value_fn  ceiling_fn  cosine_fn  denominator_fn  floor_fn  imaginary_part_fn  integer_square_root_fn  numerator_fn  rational_number_fn  real_number_fn  reciprocal_fn  round_fn  signum_fn  sine_fn  square_root_fn  tangent_fn  successor_fn  predecessor_fn  complement_fn  generalized_union_fn  generalized_intersection_fn  cardinality_fn  kilo_fn  mega_fn  giga_fn  tera_fn  milli_fn  micro_fn  nano_fn  pico_fn  magnitude_fn  wealth_fn  begin_fn  end_fn  when_fn  past_fn  immediate_past_fn  future_fn  immediate_future_fn  year_fn  hole_host_fn  hole_skin_fn  immediate_family_fn  government_fn  premises_fn
  equal:  unary_function (pm)  functional_property (pm)  unique_property (pm)
  subtype:  unary_constant_function_quantity_type  unary function that maps from sumo#constant_quantity to the same class
     subtype:  time_dependent_quantity_type  a unary_constant_function of continuous time; all instances of this class map a time quantity into another constant_quantity such as temperature; for example, 'the temperature at the top of the Empire State Building' is a time_dependent_quantity since its value depends on the time
  subtype:  one_to_one_function_type  a function F is one to one just in case for all X, Y in the domain of F, if X is not identical to Y, then F(X) is not identical to F(Y)
     subtype:  sequence_function_type  class of one_to_one_functions whose range is a subclass of the positive_integers

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