Worlds as a Unifying Element of Knowledge Representation