dictionary definitions for "pumps"