Class Logconst

Subclass-Of@Frame-Ontology: Sentence, Expression
Instance-Of@Frame-Ontology: Class@Frame-Ontology, Relation@Ol-User%Kif-Relations, Set
Arity@Frame-Ontology: 1
Documentation@Ol%Frame-Ontology: A KIF logical constant.


Slots:


Frame References to Logconst:

In class@frame-ontology Sentence:

Exhaustive-Subclass-Partition@Frame-Ontology: {
Logconst, Logsent, Quantsent, Relsent}