The first four utilities all return a value by performing the named math operation on its two input arguments.
sum(function,condition) returns the sum of the values of FOL function instances which can be unified with the first argument (i.e., function) and satisfy the second argument (i.e., condition).