Is there a name for this format - '5:number :: k: ? '?

Solution 1:

They were called analogy questions back when they were use on the SAT. My friends and I referred to them as is-to-as questions based on their verbal construction (the question would be read "five is to number as k is to blank")