<scholasticism, logic, syllogism, medieval philosophy> Name given by medieval logicians to any categorical syllogism whose standard form may be designated as EIO-4. Example: Since no fish are mammals while some animals that live in water are mammals, it follows that some animals that live in water are not fish. This is one of the fifteen forms in which syllogisms are always valid.
[A Dictionary of Philosophical Terms and Names]
Try this search on OneLook / Google