A form of inference that utilizes the fact that two things are similar in one respect to infer that they are also similar in another respect.