Polyadic Predicate

A polyadic predicate can be used to assign a relation to an ordered list of individuals, the notation has the form:

$$Predicate({\text{term}}_1,...,{\text{term}}_n)$$

where $Predicate$ is an $n$-place (or, otherwise $n$-ary) predicate.

$n$ is the Arity of the predicate.

Examples:

• $Divides(13,91)$: $13$ divides $91$ (with no remainder)
• $In(\text{helsinki},\text{finland})$: Helsinki is in Finland