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:  pm#function_type  pm#binary_relation_type
  instance of:  pm#class_of_inheritable_relation_type
  instance:  pm#unary_function  sumo#power_set_fn  sumo#front_fn  sumo#back_fn  sumo#abstraction_fn  sumo#extension_fn  sumo#probability_fn  sumo#list_length_fn  sumo#property_fn  sumo#absolute_value_fn  sumo#ceiling_fn  sumo#cosine_fn  sumo#denominator_fn  sumo#floor_fn  sumo#imaginary_part_fn  sumo#integer_square_root_fn  sumo#numerator_fn  sumo#rational_number_fn  sumo#real_number_fn  sumo#reciprocal_fn  sumo#round_fn  sumo#signum_fn  sumo#sine_fn  sumo#square_root_fn  sumo#tangent_fn  sumo#successor_fn  sumo#predecessor_fn  sumo#complement_fn  sumo#generalized_union_fn  sumo#generalized_intersection_fn  sumo#cardinality_fn  sumo#kilo_fn  sumo#mega_fn  sumo#giga_fn  sumo#tera_fn  sumo#milli_fn  sumo#micro_fn  sumo#nano_fn  sumo#pico_fn  sumo#magnitude_fn  sumo#wealth_fn  sumo#begin_fn  sumo#end_fn  sumo#when_fn  sumo#past_fn  sumo#immediate_past_fn  sumo#future_fn  sumo#immediate_future_fn  sumo#year_fn  sumo#hole_host_fn  sumo#hole_skin_fn  sumo#immediate_family_fn  sumo#government_fn  sumo#premises_fn
  equal:  sumo#unary_function (pm)  owl#functional_property (pm)  daml#unique_property (pm)
  subtype:  pm#unary_constant_function_quantity_type  unary function that maps from sumo#constant_quantity to the same class
     subtype:  pm#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:  pm#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:  pm#sequence_function_type  class of one_to_one_functions whose range is a subclass of the positive_integers

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