[kb] Definitions formal texts updated