T &#8211; everything depends
upon it. Three other contexts are situated above the language context &#8211;
models, theories and logics. IFF models provide interpretative
semantics for object-level ontologies, IFF theories provide formal or
axiomatic semantics, and IFF logics provide combined semantics. IFF
theories represent object-level ontologies and IFF logics represent
populated object-level ontologies.<br>
</div>
<h3><a name="Language"></a>Language</h3>
<p style="text-align: justify;">It has been the o