in knowledge representation, the process of turning a predicate or statement into an addressable object