Representing knowledge in two distinct descriptions: extensional vs. intensional