A good knowledge representation system must have following properties:

a) Representation Adequacy: It must be able to represent all knowledge required in a particular domain

b) Inferential Adequacy: It must be able to derive knowledge representation structures such as symbols when new knowledge is inferred from old knowledge

c) Inferential Efficiency: It must be able to incorporate additional information into knowledge structures which may help inference process to move in promising direction

d) Acquisitional Efficiency: It must be able to incorporate new information