One thing to note when reading is that they use the horseshoe "⊃" symbol instead of the directed arrow "→" to represent implication. I guess this is syntactically valid, but confused me for a while.
An excellent primer on all things knowledge representation, reasoning mechanisms and plenty of exercises on the more challenging topics introduced in this book.