[CL] Working on a definition of "ontology"

[John F. Sowa]

Ed,

Pat's points have been generally accepted by mathematicians,
logicians, and database designers:  The old terminology of
"property" for monadic relations is very awkward.  In logic,
a property is just a one-argument relation.  In database systems,
a relation is represented by a table, which may have one or
more columns -- and a one-column table is just a one argument
relation.

If people like the term "property", then just define it
as a relation with only one argument.  But the word
"relation" has already become the usual term.

John