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