Class Truth

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 level-crossing relation used to state that a sentence is true.

Notes:

  • Example: (truth (quote (=> (sentence ?p) (listof (quote =>) ?p ?p))))


Slots: