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. ```