UnicodeString
|
|
appearance as argument number 1 |
(documentation UnicodeString EnglishLanguage "An instance of UnicodeString is a SymbolicString that contains Unicode character encodings, typically decimal or hexadecimal XML/ HTML character entities.") | Media.kif 1576-1579 | |
(subclass UnicodeString SymbolicString) | Media.kif 1580-1580 | UnicodeString e' uma sub-classe de Sequencia Simbolica |
appearance as argument number 2 |
(termFormat EnglishLanguage UnicodeString "unicode string") | domainEnglishFormat.kif 65648-65648 |