Found:

arity

**SEMANTICS: **the number of **argument**s that a **predicate** takes. The predicate P in the formula P(a,b) has arity 2 (is a *two-place predicate*) because it takes two arguments a and b. Generally, a predicate with arity *n* is called an *n-place predicate*. Another term for arity is *adicity*.

LIT. | Gamut, L.T.F. (1991) |