Class FLOW-CHART

Subclass-Of: Diagram

Slots Of Instances:

First-Node:

Slot-Cardinality: 1

Last-Node:

Slot-Cardinality: 1

Axioms:

(=> (Flow-Chart ?Self)
    (And (Exists (?A)
                 (And (Strictly-Depends-On ?Self ?A)
                      (Graph-Theory ?A)))
         (Exists (?B)
                 (And (Part ?Self ?B) (Flow-Chart-Component ?B)))))

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