pm#binary_function_type class of functions requiring two arguments
supertype: pm#function_type pm#ternary_relation_type
instance of: pm#class_of_inheritable_relation_type
instance: pm#binary_function sumo#list_order_fn sumo#list_concatenate_fn sumo#where_fn sumo#multiplication_fn sumo#addition_fn sumo#subtraction_fn sumo#division_fn sumo#exponentiation_fn sumo#log_fn sumo#max_fn sumo#min_fn sumo#remainder_fn sumo#union_fn sumo#intersection_fn sumo#relative_complement_fn sumo#kappa_fn sumo#measure_fn sumo#interval_fn sumo#per_fn sumo#time_interval_fn sumo#recurrent_time_interval_fn sumo#month_fn sumo#day_fn 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 sumo#series_volume_fn sumo#periodical_issue_fn sumo#relative_time_fn
equal: sumo#binary_function (pm)
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
No statement uses or specializes pm#binary_function_type; click here to add one.