<history of philosophy, philosophy of science, logic> a statement of the relationship between two classes, each of which is designated by a categorical term. Within each proposition, the subject term occurs before the copula and the predicate term after. There are only four forms of categorical proposition, distinguished by their quantity and quality.
[A Dictionary of Philosophical Terms and Names]
Try this search on OneLook / Google