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.

Instance-Of: Class

Equivalence Axioms:

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

Axioms:

(Or (Number ?Value)
    (String ?Value)
    (Vt-Component ?Value)
    (Component-Class ?Value))

Other Related Axioms:

(Inherited-Facet-Value Slot-Value-Type
                       Vt-Constant
                       Denotation
                       Value-Allowed-For-Vt-Term)

(<=> (Vt-Constant ?Constant)
     (And (Constant ?Constant)
          (Value-Type ?Constant Denotation Value-Allowed-For-Vt-Term)
          (Value-Cardinality ?Constant Denotation 1)))

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