The set of all ground atoms that can be formed from predicate symbols from a clause in Skolemized
form 
and terms from the Herbrand universe 
of 
.
Herbrand Base
See also
Ground Atom, Herbrand UniverseThis entry contributed by Alex Sakharov (author's link)
Explore with Wolfram|Alpha
Cite this as:
Weisstein, Eric W., with contributions by Alex Sakharov. "Herbrand Base." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/HerbrandBase.html