<logic, philosophy of science> name given by medieval logicians to a categorical syllogism whose standard form is AOO-2. Example: All cats are furry mammals, but some housepets are not furry mammals, so some housepets are not cats. This is another of the fifteen forms in which syllogisms are always valid.
[A Dictionary of Philosophical Terms and Names]
Try this search on OneLook / Google