Semigroups Underlying First-order Logic