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