Relation FORMS-SYMBOLIC-SEQUENCE

Arity: 2

Subrelation-Of: Topo-morphological-relation

Axioms:

(=> (Forms-Symbolic-Sequence ?A ?B)
    (Exists (?C) (And (Forms-Sequence ?A ?C) (Represented-By ?C ?B))))

• Defined in theory: Molecular-biology
• Source code: Molecular-Biology.lisp