Class Symbol

• Defined in ontology: Kif-extensions
• Source pathname: /tmp_mnt/vol/q/htw/cms/ontolingua/examples/kif/../../all-ontologies/kif/kif-extensions.lisp

Subclass-Of@Frame-Ontology: Individual

Instance-Of@Frame-Ontology: Class@Frame-Ontology, Relation, Set

Arity@Frame-Ontology: 1

Documentation@Ol%Frame-Ontology:

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.

Notes:

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

---

Slots:

Implication Axioms for Symbol:

(=> (Symbol ?X) (Not (List ?X)))