Ground Expression

In a first-order language, a ground expression (term or formula) contains no variables or quantifiers.

References

Doets, Kees. From Logic to Logic Programming. MIT Press, 1994.