s examples of members of these last four classes sound like they are intended to contain individuals, not classes/types.

The other main question I have is: where is the distinction between individuals and classes?  This distinction is central to Cyc's upper ontology, yet I don't see this distinction anywhere in Sowa's upper ontology, which is why I'm confused about whether his ontology is classifying individuals or types.

I look forward to getting this confusion straightened out in my mind.

Thanks,
John 