Exercise: Part 1

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

[Up]Sets and Individuals in CYC®
[Back]Exercise Vocabulary
[Next]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.


[Up] [Back] [Next]
Last Update: 10/26/1998 11:41:09