String diagram Bezüge im Wissensnetz Oberbegriff generisch (1) GND Kategorientheorie Oberbegriff instantiell (1) GND Formale Sprache