What is the syllogism term for OAO-3?

The syllogism term for OAO-3 is "Particular Negative." In this type of syllogism, the major premise is a universal affirmative (A), the minor premise is a particular affirmative (I), and the conclusion is a particular negative (O). An example of this form would be: "All cats are animals" (A), "Some dogs are animals" (I), therefore "Some dogs are not cats" (O).