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.