Relation SYMBOLIC-SEQUENCE-OF

Arity: 2

Domain: Abstraction

Range: Object

Axioms:

(= (Inverse Forms-Symbolic-Sequence) Symbolic-Sequence-Of)

(<=> (Symbolic-Sequence-Of ?A ?B) (And (Abstraction ?A) (Object ?B)))

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