pm#function_type  term-forming relation that maps from a n-tuple of arguments to a range and that associates this n-tuple with at most one range element; note that the range is a set_or_class, and each element of the range is an instance of the set_or_class
  closed_exclusion:  pm#predicate_type  sumo#list
  supertype:  pm#single_valued_relation_type  when an assignment of values to every argument position except the last one determines at most one assignment for the last argument position; not all single_valued_relations are total_valued_relations
  instance of:  pm#class_of_inheritable_relation_type
  instance:  pm#unary_function  pm#binary_function  sumo#assignment_fn  sumo#list_fn  sumo#greatest_common_divisor_fn  sumo#least_common_multiple_fn
  equal:  sumo#function (pm)
  subtype:  pm#continuous_function_type  class of functions which are continuous; this concept is taken as primitive until representations for limits are devised
     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#function_quantity_type  function that maps from one or more instances of constant_quantity to another instance of constant_quantity; for example, the velocity of a particle would be represented by a function_quantity mapping values of time (which are constant_quantities) to values of distance (also constant_quantities); note that all instances of function_quantity are functions with a fixed arity; note too that all elements of the range of a function_quantity have the same physical dimension as the function_quantity itself
     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:  sumo#calorie
     subtype:  sumo#British_thermal_unit
  subtype:  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
     subtype:  pm#unary_constant_function_quantity_type  unary function that maps from sumo#constant_quantity to the same class
     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
     instance:  pm#unary_function__unaryfunction  sumo#power_set_fn__powersetfn  sumo#front_fn__frontfn  sumo#back_fn  sumo#abstraction_fn__abstractionfn  sumo#extension_fn__extensionfn  sumo#probability_fn__probabilityfn  sumo#list_length_fn  sumo#property_fn  sumo#absolute_value_fn  sumo#ceiling_fn__ceilingfn  sumo#cosine_fn  sumo#denominator_fn__denominatorfn  sumo#floor_fn__floorfn  sumo#imaginary_part_fn  sumo#integer_square_root_fn  sumo#numerator_fn__numeratorfn  sumo#rational_number_fn  sumo#real_number_fn  sumo#reciprocal_fn  sumo#round_fn__roundfn  sumo#signum_fn  sumo#sine_fn  sumo#square_root_fn  sumo#tangent_fn__tangentfn  sumo#successor_fn__successorfn  sumo#predecessor_fn__predecessorfn  sumo#complement_fn  sumo#generalized_union_fn__generalizedunionfn  sumo#generalized_intersection_fn  sumo#cardinality_fn__cardinalityfn  sumo#kilo_fn  sumo#mega_fn  sumo#giga_fn  sumo#tera_fn  sumo#milli_fn__millifn  sumo#micro_fn__microfn  sumo#nano_fn  sumo#pico_fn  sumo#magnitude_fn__magnitudefn  sumo#wealth_fn  sumo#begin_fn__beginfn  sumo#end_fn__endfn  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
  subtype:  pm#binary_function_type  class of functions requiring two arguments
     subtype:  pm#associative_function_type  a binary function is associative if bracketing has no effect on the value returned by the function; more precisely, a function ?FUNCTION is associative just in case (?FUNCTION ?INST1 (?FUNCTION ?INST2 ?INST3)) is equal to (?FUNCTION (?FUNCTION ?INST1 ?INST2) ?INST3), for all ?INST1, ?INST2, and ?INST3
     subtype:  pm#commutative_function_type  a binary function is commutative if the ordering of the arguments of the function has no effect on the value returned by the function; more precisely, a function ?FUNCTION is commutative just in case (?FUNCTION ?INST1 ?INST2) is equal to (?FUNCTION ?INST2 ?INST1), for all ?INST1 and ?INST2
     instance:  pm#binary_function  sumo#list_order_fn  sumo#list_concatenate_fn  sumo#where_fn__wherefn  sumo#multiplication_fn  sumo#addition_fn  sumo#subtraction_fn__subtractionfn  sumo#division_fn  sumo#exponentiation_fn  sumo#log_fn__logfn  sumo#max_fn__maxfn  sumo#min_fn__minfn  sumo#remainder_fn__remainderfn  sumo#union_fn__unionfn  sumo#intersection_fn  sumo#relative_complement_fn  sumo#kappa_fn__kappafn  sumo#measure_fn__measurefn  sumo#interval_fn  sumo#per_fn__perfn  sumo#time_interval_fn  sumo#recurrent_time_interval_fn  sumo#month_fn__monthfn  sumo#day_fn__dayfn  sumo#hour_fn  sumo#minute_fn  sumo#second_fn  sumo#temporal_composition_fn  sumo#mereological_sum_fn  sumo#mereological_product_fn  sumo#mereological_difference_fn  sumo#edition_fn__editionfn  sumo#series_volume_fn  sumo#periodical_issue_fn  sumo#relative_time_fn
  subtype:  pm#ternary_function_type  class of functions requiring three arguments
  subtype:  pm#quaternary_function_type  class of functions requiring four arguments

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