in Logic, one of the modes of syllogisms of the third figure, the premises of which are universal affirmatives, while the conclusion is a particular affirmative: thus,

Every body is divisible; Every body is a substance; Therefore some substance is divisible.