Relation SELLER

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

Slots on this relation:

Documentation:

The seller in some purchasing-agreement.

Instance-Of: Relation

Arity: 2

Domain: Purchasing-agreement

Range: Agent

Other Related Axioms:

(=> (Seller $X $Y) (Agent $Y))

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

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