Logged In: YES

user_id=1085367

Assuming that RelationshipType (to be renamed as

RelationType, incidentally) means the same as (SpecsFn

Relation), you are right. The problem seems to be fixed

now, however. (At least in OpenCyc and full Cyc; I haven't

checked ResearchCyc.) Moreover, our policy is to avoid

reifiying "powercollections" (analogous to powersets), i.e.

the collection of all subcollections of some collection. We

can always denote the powercollection of a collection using

SpecsFn (which is unreifiable). There are still numerous

powercollections in the KB, but most if not all of them

should eventually be eliminated.