ry for the IFF-UCLS is presented in Kent 2002a.<br>
</p>
<h3><a name="The_Truth_Classification"></a>The Truth Classification</h3>
<p>Classifications are also known as formal contexts in Formal Concept
Analysis (FCA). A <span style="font-style: italic;">classification </span>consists
of a collection of <span style="font-style: italic;">instances
</span>also known as formal objects in FCA, a collection of <span
 style="font-style: italic;">types </span>also known
as formal attributes in FCA, and a binary <spa