For predicate logic, the atoms are predicate symbols together with their arguments, each argument being a term.
U predikatnoj logici, atomi su simboli predikata i njihovi argumenti, gdje je svaki argument term.