## Exercise: Part 4

E-Mail Comments to: doc@cyc.com
Copyright© 1996, 1997, 1998 Cycorp. All rights reserved.

| Sets and Individuals in CYC®
| Exercise: Part 3

## Questions:

How would you represent that no vehicle transmission is both a manual transmission and an automatic transmission?

How would you represent that all people are either female people, male animals, or Californians? (Note these collections are not all mutually disjoint, nor do their unions have any familiar names)

Let's say you have created two collections, Centaur and Minotaur. They are similar, in that each of them represents a collection of half-man, half-animal entities, and each has no instances. Are these collections extensionally equal? intensionally? Explain.

Last Update: 10/26/1998 11:41:06