Cyc: a midterm report - Guha, R; Lenat, D (AI Magazine, 1990)