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:
Sakharov, Alex. "Herbrand Base." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/HerbrandBase.html