原子論理式とは述語記号(formula_1)と呼ぶ記号と、項(formula_2)と呼ぶものの列、からなるformula_3という形の記号列であり、これは個体の間の関係を表すものである。