Class SYMBOL

• Defined in theory: Kif-extensions
• Source code: kif-extensions.lisp

Slots on this class:

Documentation:

A symbol is a syntactic entity. It is used as a nominal identifier. Unlike a STRING, the sequence of characters that spell the symbol are not an intrinsic property.

Instance-Of: Class

Subclass-Of: Individual

Axioms:

(Not (List ?S))

Notes:

• SYMBOL is not in the KIF 3.0 spec!
• See-Also: word