Class
TRUTH
A level-crossing relation used to state that a sentence is true.
Subclass-Of
:
Sentence
Defined in theory:
Kif-meta
Source code:
kif-meta.lisp
Notes:
Example:
(truth '(=> (sentence ?p) (listof '=> ?p ?p)))