Relation SUPPORT-FOR

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

Slots on this relation:

Documentation:

A relation that indicates any training courses that are relevant to the product.

Instance-Of: Relation

Arity: 2

Domain: Service-agreement

Range: Support-service-type

Other Related Axioms:

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

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