考虑从 一阶逻辑 公式 
的 Skolem 范式 中获得的子句（字面量的析取）
 |
然后，通过将 
的字面量中的所有变量替换为 
的 Herbrand 域 
的元素而获得的字面量被称为 Ground Literal。
Ground Literal
另请参阅
Ground Atom, Ground Clause, Herbrand Base, Herbrand Universe此条目由 Alex Sakharov 贡献 (作者链接)
使用 Wolfram|Alpha 探索
请引用为
Sakharov, Alex. "Ground Literal." 来自 MathWorld——Wolfram Web 资源，由 Eric W. Weisstein 创建。 https://mathworld.net.cn/GroundLiteral.html