Class FORK-NODE

Subclass-Of: Fc-node

Axioms:

(<=> (Fork-Node ?Self)
     (And (Fc-Node ?Self)
          (Minimum-Slot-Cardinality ?Self Diagram-Direct-Successor 2)))

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