properties of knowledge representation in ai