Representations of commonsense knowledge - Davis, Ernest (Kaufmann, 1994)