Local Links:

Export Lexicon
Export Instances
Export Links
Export Groups
Export Attributes
Export Domains
Export References


Export allows you to generate selected lists of instances and export them in various formats. Currently, export formats are restricted to LaTex.

  • Export Instances: offers options to export instances in specific groups.

For several specific groups, special tools for exporting are provided. These groups include:

  • Export References: allows to export references.