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
  closed_exclusion:  constant_quantity
  supertype:  physical_quantity (sumo)  function_type
  equal:  function_quantity (pm)
  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

No statement uses or specializes function_quantity_type; click here to add one.