What are the two components of Automated Reasoning?

Knowledge Base (KB): what we know about the world (a domain of interest, e.g. number theory, medicine) Inference Engine: how we think; used to answer queries and derive implicit knowledge about the world (modeled domain)