<scholasticism, logic, syllogism, medieval philosophy> Name given by medieval logicians to any categorical syllogism whose standard form is EIO-3. Example: Since no people who admire Marx are political conservatives and some people who admire Marx are South Carolinians, it follows that some South Carolinians are not political conservatives. 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