Automatic Construction of Inference-Supporting Knowledge Bases