Another way to say "A king is a male monarch" is "A kind of male monarch is a king"