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; Th. Therefore, some substance is divisible.