A play upon words; a figure by which the same word is used in different senses, or words similar in sound are set in opposition to each other, so as to give antithetical force to the sentence; punning.

a humorous play on words; "I do it for the pun of it"; "his constant punning irritated her"

A type of pun that uses words that sound similar but have different meanings is paronomasias. Example:“You are Peter ( petros) and upon this rock ( petra) I will build my church” Matthew 16:18