Procedure knowledge base