Class RELATION-CONSTANT

• Defined in theory: Parametric-constraints
• Source code: parametric-constraints.lisp

Slots on this class:

Documentation:

A relation constant is a symbol that denotes a KIF relation.

Alias: Relconst