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: predicate_type list
supertype: 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: class_of_inheritable_relation_type
instance: unary_function binary_function assignment_fn list_fn greatest_common_divisor_fn least_common_multiple_fn
equal: function (pm)
subtype: continuous_function_type class of functions which are continuous; this concept is taken as primitive until representations for limits are devised
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: 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: 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: calorie
subtype: British_thermal_unit
subtype: 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: unary_constant_function_quantity_type unary function that maps from sumo#constant_quantity to the same class
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
instance: unary_function__unaryfunction power_set_fn__powersetfn front_fn__frontfn back_fn abstraction_fn__abstractionfn extension_fn__extensionfn probability_fn__probabilityfn list_length_fn property_fn absolute_value_fn ceiling_fn__ceilingfn cosine_fn denominator_fn__denominatorfn floor_fn__floorfn imaginary_part_fn integer_square_root_fn numerator_fn__numeratorfn rational_number_fn real_number_fn reciprocal_fn round_fn__roundfn signum_fn sine_fn square_root_fn tangent_fn__tangentfn successor_fn__successorfn predecessor_fn__predecessorfn complement_fn generalized_union_fn__generalizedunionfn generalized_intersection_fn cardinality_fn__cardinalityfn kilo_fn mega_fn giga_fn tera_fn milli_fn__millifn micro_fn__microfn nano_fn pico_fn magnitude_fn__magnitudefn wealth_fn begin_fn__beginfn end_fn__endfn 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
subtype: binary_function_type class of functions requiring two arguments
subtype: 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: 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: binary_function list_order_fn list_concatenate_fn where_fn__wherefn multiplication_fn addition_fn subtraction_fn__subtractionfn division_fn exponentiation_fn log_fn__logfn max_fn__maxfn min_fn__minfn remainder_fn__remainderfn union_fn__unionfn intersection_fn relative_complement_fn kappa_fn__kappafn measure_fn__measurefn interval_fn per_fn__perfn time_interval_fn recurrent_time_interval_fn month_fn__monthfn day_fn__dayfn hour_fn minute_fn second_fn temporal_composition_fn mereological_sum_fn mereological_product_fn mereological_difference_fn edition_fn__editionfn series_volume_fn periodical_issue_fn relative_time_fn
subtype: ternary_function_type class of functions requiring three arguments
subtype: quaternary_function_type class of functions requiring four arguments
No statement uses or specializes function_type; click here to add one.