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.