地面原子

考虑一个子句（析取 文字），从 一阶逻辑 公式 的 Skolem 范式中获得

然后，通过将 Herbrand 域 的元素替换所有变量，从 中获得的原子语句称为地面原子。由 的谓词符号和 的项形成的所有地面原子的集合称为 Herbrand 基。