Class SERVICE-AGREEMENT

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

Slots on this class:

Documentation:

The class of agreement where some agents agrees to perform some service for another agent usually for some price

Instance-Of: Class

Subclass-Of: Agreement, Product

Domain-Of: Has-support-response, Support-for

Other Related Axioms:

(=> (Has-Support-Response $X $Y) (Service-Agreement $X))

(=> (Support-For $X $Y) (Service-Agreement $X))