Class EQUATION

• Defined in theory: Dme-kb
• Source code: dme-kb.lisp

Slots on this class:

Documentation:

The class of equation structural-element-models.

Instance-Of: Class, Dme-kernel-class

Domain-Of: Equation-expression

Other Related Axioms:

(=> (Equation-Expression $X $Y) (Equation $X))