In Logic, propositions are categorized by quantity and quality: A, E, I, and O.
The statement implies that ``Some birds do not fly'' (e.g., Ostriches), acknowledging the existence of birds that lack the attribute of flight.
A proposition of the form ``Some S is not P'' is a Particular Negative proposition.
The symbol for a Particular Negative proposition is $O$.