Why is a class defined to be a set?


It corresponds to the KIF definition of a class. This is also a common practice.


Next: Does it really make sense to have slots which are also classes?
Top: OKBC FAQ Table of Contents