Class ATOMIC-TERM

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

Slots on this class:

Documentation:

An atomic-term is a KIF term that represents either a parameter or a value. It cannot be a list expression; it must be a constant or variable.

Subclass-Of: Term

Axioms:

(<=> (Atomic-Term ?X) (And (Term ?X) (Not (List ?X))))