Class FC-NODE

Subclass-Of: Diagram-object

Subclass-Partition: {

Join-node, Fork-node, Simple-node, Cycle-node}

Axioms:

(=> (Fc-Node ?Self)
    (Exists (?A) (And (Part-Of ?Self ?A) (Flow-Chart ?A))))

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