Inference procedure can:

generate new sentences α entailed by KB

determine whether or not a given sentence αis entailed by KB

Inference, in logic, derivation of conclusions from given information or premises by any acceptable form of reasoning.