g that it seems imposing.  I'm not familiar with the 
EXPRESS language so it would seem like overkill to me to use EXPRESS syntax 
for describing something in a much smaller and more familiar (to me) syntax 
of SUO-KIF.

&gt;  Though I should perhaps make
&gt;clear some distinctions I use related to terms like ontology.
&gt;
&gt;  - Taxonomy, a dictionary of standard terms and their natural language
&gt;    definitions.
&gt;
&gt;  - Thesaurus, a taxonomy with subtype/supertype relations.
&gt;
&gt;  - Data M