Class THE-FIRST-NODE

Subclass-Of: Flow-chart-component

Slots Of Instances:

First-Node-Of:

Slot-Cardinality: 1

Slot-Value-Type: Flow-chart

Axioms:

(<=> (The-First-Node ?Self)
     (And (Flow-Chart-Component ?Self)
          (Value-Cardinality ?Self First-Node-Of 1)
          (Value-Type ?Self First-Node-Of Flow-Chart)))

• Defined in theory: Diagrams
• Source code: Diagrams.lisp