Representations of commonsense knowledge - Davis, Ernest (The Morgan Kaufmann Series in Representation and Reasoning, 1990)