Is there a completed definition for the knowledge representation model