Another way to say "a cat is a type of animal" is "Some animals are cats."