Knowledge Representation and the Semantics of Natural Language