Main Page | See live article | Alphabetical index A first-order predicate is a predicate that takes only individual(s) as argument(s). Compare second-order predicate and higher-order predicate. This article is from Wikipedia. All text is available under the terms of the GNU Free Documentation License.