An Interactive Dialogue System for Knowledge Acquisition in Cyc