ial;">&#960;</span>, <span
 style="font-family: arial;">&#955;</span>). The IFF-ONT, which
adds the new notions of <span style="font-style: italic;">theory </span>and
<span style="font-style: italic;">logic </span>to the previously
axiomatized
notions of <span style="font-style: italic;">language </span>and <span
 style="font-style: italic;">model</span>, provides a metalevel
axiomatization for
the semantics of object-level ontologies. The context of first order
type languages sits at the base of the IFF-ON