Atomic formula

Applying a predicate to one or more terms creates an atom, which is also a simple formula of this language, called an atomic formula.