A Good-Service-or-Money that is either 1) offered For-Sale by a Vendor or 2) agreed to be exchanged by the Vendor with the Actual-Customer in a Sale.
(<=> (Product ?X) (Or (Exists (?Sale) (Product-Sold ?Sale ?X)) (Exists (?For-Sale) (Product-For-Sale ?For-Sale ?X))))