 development of the
&gt; formal ontology itself.  Could you elaborate?

Thanks for your question. Please consider some of the definitions provided
by Robert Kent at:

<A  HREF="https://www.quickbase.com/db/6urbwpxk?act=q&amp;qid=1">https://www.quickbase.com/db/6urbwpxk?act=q&amp;qid=1</A>

Robert has provided formal definitions for some elements of his IFF
ontology. These definitions include formulae, explanations, commentary,
links to further information, etc. The elements of IFF are specified as
belonging