version info: $Id: 05-string.rdf,v 1.3 2001/10/05 18:57:33 sandro Exp $

UnicodeCharacter
type: Class
comment: The class of Unicode characters, defined in ISO/IEC 10646 and as used in XML 1.0.

LATIN CAPITAL LETTER A
type: UnicodeCharacter
comment: This is a unicode character which is the latin capital letter A.

String
type: Class
comment: The class of all sequences of zero or more Unicode characters.
subclass of: List