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.