First-order predicate

From Wacklepedia - The Free Encyclopedia

A first-order predicate is a predicate that takes only individual(s) as argument(s). Compare second-order predicate and higher-order predicate.