La Théorie Sens-Texte (TST) est l'une des théories linguistiques les plus précises d'un point de vue descriptif. En représenter les connaissances est un défi pour des applications de lexicographie, mais également pour injecter des connaissances linguistiques fines dans les systèmes de TALN. Cet article décrit la méthodologie et les principaux résultats de notre recherche qui consiste à mener une étude d'Ingénierie des Connaissances pour modéliser les connaissances lexicales sémantiques de la TST et en formaliser la sémantique. Nous nous intéressons plus particulièrement aux prédicats linguistiques, aux représentations linguistiques, et aux définitions lexicographiques. Nous nous sommes inspirés de la méthodologie de Bachimont, et avons opéré en trois étapes principales: (i) extension de la conceptualisation du domaine, (ii) recherche d'un formalisme de représentation des connaissances adapté, (iii) opérationalisation du formalisme pour le raisonnement logique et pour le partage et l'interrogation des connaissances sur le web des données.