Cyc: toward programs with common sense - Lenat, DB; Guha, RV; Pittman, K; Pratt, D; Shepherd, M (Comm ACM, 1990)