Solutions to Homework #9, Problems 23-29

Problem 9. Using the symbols introduced in Table 1, page 23, translate the following sentences into first-order logic. 1. If Claire gave Folly to Max at 2:03 then it belonged to her at 2:00 and to him at 2:05. Gave(Claire, Folly, Max, 2:03) ( (Owned(Claire,Folly, 2:00) ( Owned(Max, Folly, 2:05) 2. ................
................