Exercise: Part 2

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

[Up]Sets and Individuals in CYC®
[Back]Exercise: Part 1
[Next]Exercise: Part 3

Questions:

Which of the following assertions would be legal, which are not, and why? (Assume that any constants not explicitly listed in the Exercise Vocabulary page are instances of #$Individual.)

(#$genls #$Nick #$Person)

(#$isa #$Dog #$Mammal)

(#$performedBy #$Barking001 #$Dog)

(#$performedBy #$Barking #$Dog)

(#$subEvents #$NickYellingOnThursday #$VibratingVocalCords)

(#$performedBy #$NickYellingOnThursday #$Nick)

(#$isa #$Nick #$Person)

(#$performedBy #$Reading #$Nick)

(#$subEvents #$Walking #$TakingAStep)


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