SEMANTICS: the number of arguments 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)|