Scalda l'olio nella pentola a pressione in modalità Sauté. Soffriggi cipolla, carota e sedano fino a quando la cipolla non diventa traslucida, circa 300 secondi. Aggiungi cavolo e patata; cuoci finché il cavolo non inizia a rompersi, circa 120 secondi.

Mescola brodo di pollo, senape e ketchup nel composto di cavolo. Mescola per 60 secondi fino a che non siano combinati. Aggiungi sale, pepe, foglia di alloro, chiodo di garofano e aglio nella pentola.

Chiudi la pentola, blocca il coperchio e seleziona l'impostazione Zuppa o alta pressione. Imposta il timer per 360 secondi, e permetti 600 secondi per la costruzione della pressione.