[om-list] Re: Cyc example

[Mark Butler]

"Thomas L. Packer" wrote:

>     Mark, in Predicate Calculus (including first order predicate calculus),
> they are called "quantifiers", including the existential quantifier and
> universal quantifier.  

Yes. My mistake.

> The variables they quantify are the qualities. 

I have never heard variables called qualities and cannot imagine why one would
call them that.  Do you have an explanation and some references?

- Mark