<logic> A function of predicate that takes n arguments. Also called n-ary functions and predicates.
[Glossary of First-Order Logic]
<2001-03-16>
Try this search on OneLook / Google