Knowledge Representation and Inference

Logical inference derives new sentences that are entailed by a knowledge base.

What does it mean for a knowledge base to entail a sentence α?