Class
STRING
A string is a sequence of characters.
Subclass-Of
:
List
Defined in theory:
Kif-extensions
Source code:
kif-extensions.lisp
Notes:
STRING
is not in the KIF 3.0 spec!