Relation HAS-MODEL-NUMBER

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

Slots on this relation:

Documentation:

A relation that indicates the model number of a product.

Instance-Of: Relation

Arity: 2

Domain: Product

Range: Model-number

Other Related Axioms:

(=> (Has-Model-Number $X $Y) (Product $X))

(=> (Has-Model-Number $X $Y) (Model-Number $Y))