Class PURCHASING-AGREEMENT

• Defined in theory: Product-theory
• Source code: product-theory.lisp

Slots on this class:

Documentation:

An Agreement between two agents in which one agent agrees to render the other some good or service in exchange for currency.

Instance-Of: Class

Subclass-Of: Agreement

Domain-Of:

Buyer, Currency-transferred, Object-sold, Seller

Implication Axioms:

(=> (Purchasing-Agreement ?X) (Exists (@Y) (Seller ?X ?Y)))

(=> (Purchasing-Agreement ?X) (Exists (@Y) (Buyer ?X ?Y)))

(=> (Purchasing-Agreement ?X) (Exists (@Y) (Object-Sold ?X ?Y)))

Other Related Axioms:

(=> (Seller $X $Y) (Purchasing-Agreement $X))

(=> (Buyer $X $Y) (Purchasing-Agreement $X))

(=> (Currency-Transferred $X $Y) (Purchasing-Agreement $X))

(=> (Object-Sold $X $Y) (Purchasing-Agreement $X))

(=> (Purchasing-Agreement ?X) (Exists (@Y) (Seller ?X ?Y)))

(=> (Purchasing-Agreement ?X) (Exists (@Y) (Buyer ?X ?Y)))

(=> (Purchasing-Agreement ?X) (Exists (@Y) (Object-Sold ?X ?Y)))