Class VALUE-ALLOWED-FOR-VT-TERM

• Defined in theory: Vt-design
• Source code: vt-design.lisp

Slots on this class:

Documentation:

A restriction on the possible values of component attributes in VT.

Axioms:

(<=> (Value-Allowed-For-Vt-Term ?Value)
     (Or (Number ?Value)
         (String ?Value)
         (Vt-Component ?Value)
         (Component-Class ?Value)))