| Subject | English | Lithuanian |
| comp., MS | GxP Predicate Rules | GxP predikato taisyklės (FDA rulings that are observed within the pharmaceutical industry) |
| logic | predicate calculation | predikatų skaičiavimas |
| logic | predicate calculation | teiginių skaičiavimas |
| logic | predicate variable | predikatinis kintamasis |