ITS 462 Fundamentals of Artificial Intelligence

Topic: Predicate Calculus

1. Bill likes ice-cream. 2. Bill is tall. 3. Jane hits Jimmy. 4. John travels to London. 5. Bill takes edam cheese. 6. Freddy lives at 16 Throgmorton street. 7. All animals eat custard. 8. Everyone loves Bergmans films. 9. Jim likes Freds possession. 10. If someone needs a bike then they may borrow Janes. 11. You are liable to be fined if your car is untaxed. 12. Two people live in the same house if they have the same address. 13. Two people are siblings if they have the same parents.

Jan 2011

ITS 462 Fundamentals of Artificial Intelligence

14. Billy studies A12. 15. The population of France is 50 millions. 16. Haly is a rich country. 17. Jane is tall. 18. Two is a prime number. 19. The Welsh people are British. 20. Someone wrote Hamlet. 21. All humans are mortal. 22. All rich people pay taxes. 23. Bill takes his umbrella if it rains. 24. If you are naughty then you will not have any supper. 25. If the forecast is for rain and I am walking to work, then Ill take an umbrella. 26. Although some city drivers are insane, Dorothy is a very sane city driver. 27. Every Austinite who is not conservative loses armadillo.

Jan 2011

ITS 462 Fundamentals of Artificial Intelligence

28. Every Aggie loves every dog. 29. Nobody who loves every dog, loves any armadillo. 30. Anyone whom Mary loves is a football star. 31. Any student who does not pass does not play. 32. Any student who does not study does not pass. 33. Anyone who does not play is not a football star. 34. Every coyote chases any smart roadrunner. 35. Every roadrunner who says beep-beep is smart. 36. No coyote catches any smart roadrunner. 37. Any coyote who chases some roadrunner but does not catch it is frustrated. 38. Anyone who rides any Harley is a rough character. 39. Every biker rides either a Harley or a BMW. 40. Anyone who rides any Harley is a rough character.

Jan 2011

ITS 462 Fundamentals of Artificial Intelligence

41. Any nice girl does not date anyone who is a rough character. 42. Mary is a nice girl, and John is a biker. 43. Every child loves anyone who gives the child any present. 44. Every child will be given some present by Santa is Santa can travel on Christmas eve. 45. Everybody loves somebody. 46. It is foggy on Christmas eve. 47. Anytime it is foggy, anyone can travel if he has some source of light. 48. Any reindeer with a red nose is a source of light. 49. Every child loves every candy. 50. Promotion is a consequence of hard work and luck. 51. There is some number whose square is 64. 52. Every integer is less than or equal to itself. 53. Anyone who loves some candy is not a nutrition fanatic. 54. Anyone who eats any pumpkin is a nutrition

Jan 2011

ITS 462 Fundamentals of Artificial Intelligence

fanatic. 55. All animals have four feet. 56. Some birds eat grass and fish 57. Although all philosophers read novels, John does not read a novel. 58. Anyone who buys any pumpkin either carves it or eats it.

Jan 2011