Class Constant

Subclass-Of@Frame-Ontology: Word, Expression
Exhaustive-Subclass-Partition@Frame-Ontology: {Funconst, Objconst, Relconst}
Superclass-Of@Frame-Ontology: Funconst, Objconst, Relconst
Instance-Of@Frame-Ontology: Class@Frame-Ontology, Relation@Ol-User%Kif-Relations, Set
Domain-Of@Frame-Ontology: Defining-Axiom
Arity@Frame-Ontology: 1
Documentation@Ol%Frame-Ontology: A constant used in a KIF expression.


Slots:

Defining-Axiom:

Frame References to Constant:

In class@frame-ontology Word:

Exhaustive-Subclass-Partition@Frame-Ontology: {Constant, Variable}