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

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