Področje: Information technology and data processing
Dansko: prædikatslogisk klausulform Nemško: Klausellogik Grško: μορφή του κατηγορηματικού λογισμού Špansko: forma clausular de la lógica de predicados Finsko: predikaattilogiikan lausemuoto Francosko: forme clausale en logique de prédicats Italijansko: forma a clausole della logica dei predicati Nizozemsko: clause-vorm Portugalsko: forma de cláusula de lógica de predicados Švedsko: predikatslogisk klausulform