Definition:First Figure of Categorical Syllogism