first-order
adj (Logic) logic quantifying only over individuals and not over predicates or clauses: first-order predicate calculus studies the logical properties of such quantification
Collins English Dictionary – Complete and Unabridged, 12th Edition 2014 © HarperCollins Publishers 1991, 1994, 1998, 2000, 2003, 2006, 2007, 2009, 2011, 2014