## Exercise: Part 1

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

| Sets and Individuals in CYC®
| Exercise Vocabulary
| Exercise: Part 2

## Questions:

Suppose

         (#$isa #$Giggling #$MysteryCollection001)
         (#$isa #$GoolsbeyGigglingToday #$Giggling)

are true in the KB.

Must

         (#$isa #$GoolsbeyGigglingToday #$MysteryCollection001)

be true in the KB? Explain.

Could it ever be true? Explain.

Suppose

         (#$genls #$Giggling #$UtteranceEvent)
         (#$isa #$UtteranceEvent #$TypeOfHappening)

are true in the KB.

Must

         (#$isa #$Giggling #$TypeOfHappening)

be true?

Could it ever be true? Explain.

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