Class MODEL-NUMBER

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

Slots on this class:

Documentation:

The class of objects that can be model numbers. I'm just making this a string for now.

Instance-Of: Class

Subclass-Of: String

Range-Of: Has-model-number

Other Related Axioms:

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