Sorte

Une étiquette ou catégorie syntaxique dans les logiques à multiples sortes qui partitionne le domaine en sous-ensembles nommés et restreint les termes, symboles de fonction et symboles de prédicat pouvant s'appliquer à certains éléments du domaine.