Knowledge Representation in Logic