Hyponymy

Hyponymy is when one word is a type of another word. For example, a dog is a type of animal. So animal is the word that is a type (or hyponym) of the word dog. All dogs are animals, but not all animals are dogs.