地面原子

考慮一個子句（析取 文字），從 一階邏輯 公式 的 Skolem 正規化中獲得

然後，透過將 Herbrand 域 的元素替換所有變數，從 中獲得的原子語句稱為地面原子。由 的謂詞符號和 的項形成的所有地面原子的集合稱為 Herbrand 基。