Another way to say "A dog is an animal" is "one kind of animal is a dog"