SS09 - KBS - 01 - Introduction to First Order Logic