Class SYMBOLIC-STRING

This is for strings (extrinsic to the 'entities' in this model), which represent a semiotic object, such as a word.
Subclass-Of: String
Axioms:
(=> (Symbolic-String ?Self)
    (Exists (?A) (And (Symbolic-Part ?Self ?A) (Character ?A))))