Problems in Knowledge Representation