Cyc: toward programs with common sense
A temporal logic for reasoning about processes and plans