first-order-logic Definition Ground Formula (First-Order Logic) A formula is ground if it contains no variables.