sed for the truth concept lattice of theories for theories.
The model namespace document introduces 88 terms. Finally, the logic
namespace document introduces 44 terms, where 27 terms are for
prologics and 17 terms are for logics.</p>
  </li>
</ul>
<p style="text-align: justify;">It is clear that the more basic areas
of the IFF-ONT, such as languages, receive most of the description and
axiomatization. This is natural, since the current version of the
IFF-ONT offers only a baseline axiomatization for the me