Class STD-CIRCLE

Subclass-Of: Diagram-object

Axioms:

(=> (Std-Circle ?Self)
    (And (Exists (?A)
                 (And (Part-Of ?Self ?A)
                      (State-Transition-Diagram ?A)))
         (Exists (?B) (And (Represents ?Self ?B) (*State ?B)))))

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