| Subject | English | Russian |
| progr. | ad hoc predicate for array creation | специальный предикат создания массива (Alex_Odeychuk) |
| math. | applied predicate calculus | прикладное исчисление предикатов |
| law | as a predicate for a court order | как основание для вынесения постановления суда (Leonid Dzhepko) |
| law | as a predicate for a court order | как основание для вынесения судебного приказа (Leonid Dzhepko) |
| progr. | brief introduction to predicate calculus | краткое введение в исчисление предикатов (ssn) |
| progr. | call an imported predicate definition | выполнить вызов импортированного определения предиката (Alex_Odeychuk) |
| progr. | call an inherited predicate definition | выполнить вызов унаследованного определения предиката (Alex_Odeychuk) |
| math. | classical predicate calculus | классическое исчисление предикатов |
| gram. | comparative predicate adjective | предикативное прилагательное в сравнительной степени (ssn) |
| progr. | comparison predicate instructions | команды операций отношения (ssn) |
| progr. | comparison predicate instructions | команды сравнения (ssn) |
| progr. | comparison predicate instructions | команды предикатов сравнения (ssn) |
| math. | constructive predicate calculus | конструктивное исчисление предикатов |
| math. | deductive predicate calculus | дедуктивное исчисление предикатов |
| math. | extended predicate calculus | расширенное исчисление предикатов |
| progr. | fail a predicate check | неуспешно выполнять проверку предиката (Alex_Odeychuk) |
| comp. | first order predicate calculus | исчисление предикатов первого порядка |
| math. | first-order predicate logic | логика предикатов первого порядка (ssn) |
| progr. | goals, often expressed in a predicate calculus | цели, часто выраженные в терминах исчисления предикатов (ssn) |
| comp., MS | GxP Predicate Rules | предписывающие правила GxP (FDA rulings that are observed within the pharmaceutical industry) |
| math. | higher predicate calculus | исчисление предикатов высших порядков |
| progr. | high-level language based on predicate logic | высокоуровневый язык программирования, основанный на логике предикатов (Alex_Odeychuk) |
| progr. | imported predicate definition | импортированное определение предиката (Alex_Odeychuk) |
| progr. | in a predicate calculus | в терминах исчисления предикатов (ssn) |
| Makarov. | in respect to the Relation of the Predicate to the Subject, Judgments are divided into simple or absolute, and conditional | по критерию же отношения субъекта к предикату все суждения делятся на простые, или абсолютные, и на условные |
| progr. | inherited predicate definition | унаследованное определение предиката (Alex_Odeychuk) |
| progr. | integer predicate expression | целочисленное предикативное выражение (ssn) |
| progr. | integer predicate expression | целочисленное условное выражение (ssn) |
| progr. | integer predicate expressions | целочисленные предикативные выражения (ssn) |
| progr. | integer predicate expressions | целочисленные условные выражения (ssn) |
| progr. | make a predicate check | приводить к выполнению проверки предиката (Alex_Odeychuk) |
| math. | modal predicate calculus | модальное исчисление предикатов |
| math. | monadic predicate calculus | исчисление одноместных предикатов |
| math. | multivalued predicate calculus | многозначное исчисление предикатов |
| progr. | object containing the predicate definition | объект, содержащий определение предиката (the ~ Alex_Odeychuk) |
| progr. | object predicate value | объектное предикатное значение (делегат Alex_Odeychuk) |
| math. | one-place predicate calculus | одноместное исчисление предикатов |
| math. | one-place predicate calculus | исчисление одноместных предикатов |
| AI. | per-predicate lock | блокировка на уровне предиката (Alex_Odeychuk) |
| AI. | per-predicate-set lock | блокировка на уровне группы предикатов (Alex_Odeychuk) |
| math. | positive predicate calculus | позитивное исчисление предикатов |
| math. | positive predicate tautology | позитивная предикатная тавтология |
| Makarov. | predicate about | утверждать |
| Makarov. | predicate adjective | прилагательное в роли именной части составного сказуемого |
| gram. | predicate adjective | прилагательное в предикативной форме (ssn) |
| gen. | predicate adjective | предикативное прилагательное |
| ling. | predicate adjective construction | конструкция с предикативным прилагательным (ssn) |
| ling. | predicate-argument structure | предикатно-аргументная структура |
| logic | predicate calculation | исчисление предикатов |
| IT | predicate calculus | исчисление предикатов : |
| math. | predicate calculus | исчисление предикатов |
| progr. | predicate calculus and proving theorems | исчисление предикатов и доказательство теорем (ssn) |
| automat. | predicate calculus language | язык исчисления предикатов |
| mech. | predicate calculus machinery | аппарат исчисления предикатов |
| progr. | predicate calculus propositions | высказывания в исчислении предикатов (ssn) |
| math. | predicate calculus with generalization | исчисление предикатов с обобщением |
| math. | predicate calculus with identity | исчисление предикатов с равенством |
| math. | predicate calculus without identity | исчисление предикатов без равенства |
| progr. | predicate call | вызов предиката (Alex_Odeychuk) |
| progr. | predicate call graph | граф вызова предикатов (Alex_Odeychuk) |
| progr. | predicate call operation | операция вызова предиката (Alex_Odeychuk) |
| progr. | predicate calling structure | структура вызовов предиката (Alex_Odeychuk) |
| progr. | predicate check | проверка предиката (Alex_Odeychuk) |
| progr. | predicate check failure | неудачная проверка предиката (корпорации AdaCore Alex_Odeychuk) |
| progr. | predicate class | класс предикатов (Alex_Odeychuk) |
| progr. | predicate clause | дизъюнкт предиката (Alex_Odeychuk) |
| comp. | predicate constant | предикатная константа |
| IMF. | predicate crime | первичное преступление |
| law | predicate crime | предикатное преступление (iie.com Tanya Gesse) |
| progr. | predicate declaration | объявление предиката (Alex_Odeychuk) |
| progr. | predicate declared for the receiving object | предикат, объявленный для объекта-получателя (Alex_Odeychuk) |
| product. | predicate device | устройство-образец (julchik) |
| cosmet. | Predicate device | аналог медицинского изделия (estherik) |
| med. | predicate device | утвержденное в США изделие-компаратор (A predicate device (PD) is a medical device that may be legally marketed in the U.S, and used as a point of comparison for new medical devices seeking approval through FDA's 510(k) premarket clearance pathway. amatsyuk) |
| AI. | predicate directive | директива предиката (Alex_Odeychuk) |
| AI. | predicate directive | аннотация к коду метода (русс. перевод в терминологии языков функционально-императивного объектно-ориентированного программирования Alex_Odeychuk) |
| math. | predicate domain | область предикатов |
| progr. | predicate expression | предикативное выражение (ssn) |
| progr. | predicate expression | условное выражение (ssn) |
| progr. | predicate expressions | предикативные выражения (ssn) |
| progr. | predicate expressions | условные выражения (ssn) |
| IT | predicate extension | предикативное расширение |
| IT | predicate features | возможности описания свойств отношений |
| IT | predicate features | предикатные возможности |
| math. | predicate form | предикативная форма |
| el. | predicate formula | предикативная формула |
| progr. | predicate formula | формула логики предикатов (ssn) |
| progr. | predicate formula | формула предикатов (ssn) |
| ling. | predicate frame | рамка сказуемого |
| ling. | predicate frame | предикатная рамка |
| math. | predicate function | предикативная функция |
| math. | predicate hierarchy | иерархия предикатов |
| math. | predicate inference | предикатный вывод |
| math. | predicate interpretation | предикатная интерпретация |
| progr. | predicate interpretation | интерпретация предиката (предикат считается интерпретированным, если он выражен через входные значения. Интерпретация предиката зависит от выбора пути. Это означает, что можно получить эквивалентный предикат, следуя в вычислениях по определенному пути, ведущему к этому предикату. См. Black-box testing: techniques for functional testing of software and systems by Boris Beizer (1995) ssn) |
| IT | predicate language | язык предикатов |
| math. | predicate letter | предикатная буква |
| tech. | predicate letter | пропозиционная буква |
| math. | predicate letter formula | предикатная формула |
| ling. | predicate lifting | подъём предиката |
| progr. | predicate load | загрузка на основе логического условия (ssn) |
| IT | predicate logic | логика предикатов |
| Gruzovik, IT | predicate logic | логика исчисления предикатов |
| progr. | predicate logic | предикатная логика (ssn) |
| mech. | predicate logic language | язык основанный на логике предикатов |
| automat. | predicate logic language | язык, основанный на логике предикатов (как функций нескольких переменных) |
| IT | predicate logic language | язык программирования, основанный на логике предикатов |
| IT | predicate logic language | язык программирования, основанный на логике предикатов |
| Makarov. | predicate logic language | язык, основанный на логике предикатов (как функции нескольких переменных) |
| logic | predicate logic with equality | логика предикатов с равенством (Alex_Odeychuk) |
| IT | predicate logic-based language | язык программирования, основанный на логике предикатов |
| IT | predicate logic-based language | язык программирования, основанный на логике предикатов |
| med. | predicate method | утверждённый метод (т. е. метод и связанная с ним продукция, официально разрешенные к применению и имеющие оборот на рынке (контроль качества и менеджмент рисков) olga don) |
| progr. | predicate mode | режим использования предиката (Alex_Odeychuk) |
| ling. | predicate multiplicity | предикатная множественность (Guilietta) |
| IT | predicate node | предикативный узел (в блок-схеме структурированной программы) |
| IT | predicate node | предикатный узел (в блок-схеме структурированной программы) |
| progr. | predicate node | узел с предикатом (ssn) |
| gram. | predicate nominative | именная часть составного сказуемого (в именительном падеже, в латинском, греческом и др. языках) |
| gen. | predicate nominative | именная часть составного сказуемого (denghu) |
| Makarov. | predicate noun | предикативное существительное |
| ling. | predicate noun | предикатив (ssn) |
| Makarov. | predicate noun | существительное в роли именной части составного сказуемого |
| gen. | predicate noun | предикативное существительное существительное в роли именной части составного сказуемого |
| Makarov. | predicate of | утверждать |
| progr. | predicate of a subtype | предикат подтипа (корпорации AdaCore Alex_Odeychuk) |
| progr. | predicate of arity zero | предикат нулевой арности (Alex_Odeychuk) |
| ling. | predicate of evaluation | оценочный предикат |
| ling. | predicate of evaluation | предикат оценки |
| math. | predicate of predicates | предикат предикатов |
| law | predicate offence | основное правонарушение (См., напр., Конвенцию ООН против транснациональной организованной преступности 2000г., ст. 2(h).  un.org Leonid Dzhepko) |
| bank. | predicate offence | предикатное преступление |
| crim.law. | predicate offence | предикатное преступление (общественно опасное преступное деяние, предшествующее отмыванию денег Alex_Odeychuk) |
| gen. | predicate offence | основное правонарушение |
| IMF. | predicate offense | первичное преступление (money laundering) |
| gen. | predicate on | основываться на (Никита Лисовский) |
| Makarov. | predicate on | основывать на фактах (утверждение и т. п.) |
| math. | predicate preserving | сохраняющий предикат |
| math. | predicate preserving function | сохраняющая предикат функция |
| med.appl. | predicate product | изделие, уже присутствующее на рынке, предшественник (согласен с предыдущим оратором – мне тоже попалось в таком значении, хотя употребление термина сомнительно Sluvik) |
| qual.cont. | predicate product | изделие, уже присутствующее имеющее оборот на рынке (Например, при испытаниях нового медицинского изделия его сравнивают с уже существующим, продающимся predicate product со схожими характеристиками. ВНИМАНИЕ! Перевод дан как описательный вариант, так как я не имею медицинской специализации и не могу утверждать, что понятие используется в медицине именно в таком виде. fda.gov Оранжевая) |
| math. | predicate programming | предикатное программирование |
| progr. | predicate programming language | язык предикатного программирования (ssn) |
| ling. | predicate raising | подъём предиката |
| progr. | predicate redefinition | переопределение предиката (Alex_Odeychuk) |
| progr. | predicate register | предикатный регистр (в процессоре Itanium – регистр, логическое (булево) значение которого (1 или 0) определяет, будет исполняться данная команда или нет ssn) |
| progr. | predicate relationship | предикативное отношение (ssn) |
| progr. | predicate resolution | резолюция предикатов (Alex_Odeychuk) |
| progr. | predicate scope | область видимости предиката (Alex_Odeychuk) |
| IT | predicate selectivity | применяемость предиката (характеризующая частоту его использования) |
| progr. | predicate set | множество предикатов (Alex_Odeychuk) |
| mech. | predicate symbol | предикатный символ |
| IT | predicate symbol | предикативный символ |
| math. | predicate tautology | предикатная тавтология |
| psychol. | predicate thinking | предикативное мышление |
| IT | predicate transformer | преобразователь предикатов |
| amer. | predicate upon | основывать на фактах (утверждение и т. п.) |
| progr. | predicate use | использование в предикате (ssn) |
| math. | predicate variable | предикатная переменная |
| ling. | predicate verb | предикатный глагол (ssn) |
| math. | predicate vertex | предикатная вершина |
| media. | predicate vertex | предикатная предикативная вершина (вершина блок-схемы, используемая для представления логического выражения, передающего управление по одной из двух возможных ветвей; узел, из которого логическое управление может быть передано только по одной из ветвей) |
| math. | predicate with free variable | предикат со свободной переменной |
| math. | proper predicate calculus | собственное исчисление предикатов |
| math. | pure predicate calculus | чистое исчисление предикатов |
| math. | restricted predicate calculus | узкое исчисление предикатов |
| math. | set predicate logic | теоретико-множественная логика предикатов |
| math. | set-theoretic predicate logic | теоретико-множественная логика предикатов |
| math. | several-sorted predicate calculus | исчисление предикатов с переменными нескольких видов |
| math. | several-sorted predicate calculus | исчисление предикатов с несколькими сортами переменных |
| math. | singular predicate calculus | сингулярное исчисление предикатов |
| ling. | subject predicate division | деление на субъект и предикат (ssn) |
| ling. | subject-predicate relation | субъектно-предикатное отношение |
| ling. | subject-predicate scheme | субъектно-предикатная схема |
| gram. | superlative predicate adjective | предикативное прилагательное в превосходной степени (ssn) |
| progr. | take a predicate as an argument | принимать предикат в качестве аргумента (корпорации Oracle Alex_Odeychuk) |
| gen. | the predicate agrees with its subject in number and person | сказуемое согласуется в лице и числе с подлежащим |
| Makarov. | the subject and the predicate together form the nucleus of the sentence | подлежащее и сказуемое образуют основу предложения |
| Makarov. | the subject precedes the predicate in a regular sentence | в обычном предложении подлежащее стоит перед сказуемым |
| math. | two-valued predicate calculus | двузначное исчисление предикатов (классическое) |
| math., logic | unrestricted predicate constant | неограниченная предикатная постоянная |