Class TRUTH

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

Slots on this class:

Documentation:

A level-crossing relation used to state that a sentence is true.

Instance-Of: Class

Subclass-Of: Sentence

Notes:

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