(logic) a proposition that asserts something about some (but not all) members of a class
Particular
Logic
Proposition
Universal proposition