Class GRAPH

Subclass-Of: Document

The-Archetype: Reified-property

Axioms:

(Slot-Cardinality Graph _Formal 1)

(=> (Graph ?Self)
    (Exists (?A)
            (And (Strictly-Depends-On ?Self ?A) (Graph-Theory ?A))))

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