Casey McGinnis - 2005-02-10

Logged In: YES

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.