I-proposition

A particular affirmative categorical proposition that asserts at least one member of the subjectis included in the predicate class. (See also Categorical proposition.)