E62 String in version 7.1
Subclass of :
Superclass of: No superclasses found
This class comprises coherent sequences of binary-encoded symbols. They correspond to the content of an instance of E90 Symbolic object. Instances of E62 String represent only the symbol sequence itself. They may or may not contain a language code.
In contrast, instances of other subclasses of E59 Primitive value represent entities in mathematical spaces other than that of symbol sequences, by using binary-encoded symbols, such as date expressions or numbers in decimal encoding. For instance, different syntactic forms of a date expression may represent the same date but consist of different strings.
- the Quick Brown Fox Jumps Over the Lazy Dog
- 6F 6E 54 79 70 31 0D 9E
In First Order Logic:
E62(x) ⇒ E59(x)