Using ConceptNet to Teach Common Sense to an Automated Theorem Prover
  The CoRg system is a system to solve commonsense reasoning problems. The core
of the CoRg system is the automated theorem prover Hyper that is fed with large
amounts of background knowledge. This background knowledge plays a crucial role
in solving commonsense reasoning problems. In this paper we present different
ways to use knowledge graphs as background knowledge and discuss challenges
that arise.
