Given a knowledge base $Delta$, the sentence {tt (analytic-truth '$phi$)} means that the sentence $phi$ is logically entailed by the defining axioms of the definitions in knowledge base $Delta$.