 concepts,
&gt;or whatever you wish to call them, are the very sorts
&gt;of things that are typically used to build models of
&gt;other sorts of stuff in the world.

Yes, as a basis for the SUO, we have already made a decision to adopt
predicate calculus, as mapped into notations such as KIF, CGs, SQL,
OIL, DAML, RDF, UML, etc., etc., etc.  Arguing about that point is
futile, since the computers of the world are geared up to process
relations, tuples, graphs, and related data structures.  There are
many sug