Another way to say "the whale shark is a shark, not a whale" is "A whale shark is a type of shark; a whale shark is not a type of whale."