among logicians, one of the modes of syllogisms of the third figure, whose premises are universal affirmatives, and the conclusion is a particular affirmative: thus,

Dar- Every body is divisible; ap- Every body is a substance; ti. Therefore, some substance is divisible.