Monadic Predicate

A monadic (or unary) predicate can be used to give a property to a single individual (denoted by a term), the notation has the form:

$$Predicate(\text{term})$$

Examples:

• $Yellow(\text{car})$ - The car is yellow.
• $Prime(29)$ - 29 is prime.