Title: A foundational approach to conjecture and knowledge in knowledge bases