Representations of commonsense knowledge - Davis, Ernest (Morgan Kaufmann series in representation and reasoning, 1990)