1. Knowledge Representation
2. Knowledge Representation Languages
3. 13.2 A Representation based on FOPC
4. Representation based on FOPC 2
5. Free Variables Can Be Used to Handle "forall"
6. Skolem Constants and Functions Can Handle "exists"
7. Skolem Constants and Functions Can Handle "exists" 2
8. Summary