Relation sumo#division_fn ()
  type:  pm#binary_function_type  class of functions requiring two arguments
  type:  pm#partial_valued_relation_type  relation type that is not a total_valued_relation_type, i.e. just in case assigning values to every argument position except the last one does not necessarily mean that there is a value assignment for the last argument position; note that, if a sumo#relation is both a partial_valued_relation and a single_valued_relation, then it is a partial function
  type:  pm#type_of_relation_extended_to_quantities  relation that, when it is true on a sequence of arguments that are real_numbers, it is also true on a sequence of constant_quantites with those magnitudes in some unit of measure; for example, the less_than relation is extended to quantities; this means that for all pairs of quantities ?q1 and ?q2, [?q1,  sumo#less_than: ?q2] if and only if, for some numbers ?n1 and ?n2 and unit ?u, [q1 =  sumo#measure_fn(?n1,?u)], [q2 =  sumo#measure_fn(?n2,?u)] and [?n1, less_than: ?n2] for all units on which ?q1 and ?q2 can be measured; note that, when a relation_extended_to_quantities is extended from real_numbers to constant_quantities, the constant_quantities must be measured along the same physical dimension