без примеровНайдено в 6 словарях

Грамматический словарь
500 грамматических тем, которые включают:
- части речи,
- синтаксис,
- речевые обороты,
- американский и британский английский язык,
- правильное написание слов,
- пунктуация.

Predicate

Сказуемое

Главный член предложения, называющий действие, состояние или свойство. Сказуемое согласуется в числе с подлежащим (Subject).

Сказуемое может выражаться:
1. простым глаголом:
2. сложной глагольной формой (один или несколько вспомогательных глаголов и основной глагол):
Глагол be (а также некоторые другие глаголы, список см. Complement, 1а) самостоятельно выступая в функции сказуемого, требует после себя комплемента - члена предложения, дополняющего значение сказуемого (см. Complement).
Позиция глагола в предложении.
В повествовательном предложении при обычном порядке слов глагол стоит на втором месте (после подлежащего). Подробнее о порядке слов в повествовательном предложении см. Sentence: word order. В вопросительных предложениях (см. Question), а также при обратном порядке слов (см. Inversion), позиция сказуемого меняется.

LingvoUniversal (En-Ru)

predicate

['predɪkət]
сущ.
1. лингв. предикат, сказуемое
2. лог. утверждение
['predɪkeɪt] брит. / амер.
гл.
1. утверждать; заявлять
2. амер. основывать утверждение (на чём-л.)

Откройте все бесплатные
тематические словари

Примеры из текстов

The CONTAINS() Predicate
Предикат CONTAINS()
Henderson, Ken / The Guru's Guide to Transact-SQLХендерсон, Кен / Профессиональное руководство по Transact-SQL
Профессиональное руководство по Transact-SQL
Хендерсон, Кен
© ООО «Питер Принт», 2005
© 2000 by Addison-Wesley
The Guru's Guide to Transact-SQL
Henderson, Ken
© 2000 by Addison-Wesley

Now we need a more general notion of when one predicate (or its decision problem) is reducible to another.
Теперь нам нужно более общее понятие того, когда один предикат сводим к другому (проблема разрешения для одного сводима к проблеме разрешения для другого).
Kleene, Stephen Cole / Mathematical LogicКлини, С.К. / Математическая логика
Математическая логика
Клини, С.К.
© Перевод на русский язык «Мир», 1973
Mathematical Logic
Kleene, Stephen Cole
© 1967 by Stephen Cole Kleene

Sometimes, using a quantified predicate might make your request clearer.
Иногда использование количественного предиката может сделать запрос более понятным.
Viescas, John L.,Hernandez, Michael J. / SQL queries for mere mortals: a hands-on guide to data manipulation in SQLВьескас, Джон Л.,Хернандес, Майкл Дж. / SQL-запросы для простых смертных: Практическое руководство по манипулированию данными в SQL
SQL-запросы для простых смертных: Практическое руководство по манипулированию данными в SQL
Вьескас, Джон Л.,Хернандес, Майкл Дж.
© Издательство "Лори", 2003
© 2000 by Michael J. Hernandez and John L. Viescas
SQL queries for mere mortals: a hands-on guide to data manipulation in SQL
Viescas, John L.,Hernandez, Michael J.
© 2008 Pearson Education, Inc.

All the questions about particular values of a decidable predicate P(a) can be answered by a suitable absolute Turing machine.
На все вопросы относительно конкретных значений разрешимого предиката Р (а) можно ответить с помощью подходящей абсолютной машины Тьюринга.
Kleene, Stephen Cole / Mathematical LogicКлини, С.К. / Математическая логика
Математическая логика
Клини, С.К.
© Перевод на русский язык «Мир», 1973
Mathematical Logic
Kleene, Stephen Cole
© 1967 by Stephen Cole Kleene

This concept is denned for systems based on the first-order predicate calculus.
Это понятие определено для систем,, основанных на исчислении предикатов первой ступени.
Curry, Haskell B. / Foundations of Mathematical LogicКарри, Хаскелл Б. / Основания математической логики
Основания математической логики
Карри, Хаскелл Б.
© Издательство «Мир», 1969
Foundations of Mathematical Logic
Curry, Haskell B.
© 1963 by Haskell B. Curry.
© 1977 by Haskell B. Curry.

For operator or predicate parameter occurrences, "ancestral image" and "descendant image" are synonymous with "ancestor" and "descendant", respectively.
Для вхождений операторов или предикатных параметров термины «образ-предок», «образ-потомок» и соответственно «предок», «потомок» являются синонимами.
Kleene, Stephen Cole / Mathematical LogicКлини, С.К. / Математическая логика
Математическая логика
Клини, С.К.
© Перевод на русский язык «Мир», 1973
Mathematical Logic
Kleene, Stephen Cole
© 1967 by Stephen Cole Kleene

Any reference to a column in a predicate within the search condition of a HAVING clause either must name a column listed in the GROUP BY clause or must be enclosed within an aggregate function.
Любая ссылка на столбец в предикате внутри условия поиска в HAVING должна либо указать имя столбца, перечисленного в условия GROUP BY, либо должна быть вложена в агрегатную функцию.
Viescas, John L.,Hernandez, Michael J. / SQL queries for mere mortals: a hands-on guide to data manipulation in SQLВьескас, Джон Л.,Хернандес, Майкл Дж. / SQL-запросы для простых смертных: Практическое руководство по манипулированию данными в SQL
SQL-запросы для простых смертных: Практическое руководство по манипулированию данными в SQL
Вьескас, Джон Л.,Хернандес, Майкл Дж.
© Издательство "Лори", 2003
© 2000 by Michael J. Hernandez and John L. Viescas
SQL queries for mere mortals: a hands-on guide to data manipulation in SQL
Viescas, John L.,Hernandez, Michael J.
© 2008 Pearson Education, Inc.

Your security policy will develop and return a predicate based on who is logged in, and what role they have.
Правила защиты позволяют разработать условие проверки, учитывающее, кто зарегистрирован и какую роль он имеет в системе.
Kyte, Tom / Expert One-on-One OracleКайт, Том / Oracle для профессионалов
Oracle для профессионалов
Кайт, Том
© Перевод на русский язык. ООО «ДиаСофтЮП», 2003
© Wrox Press Ltd, 2002
Expert One-on-One Oracle
Kyte, Tom
© Wrox Press Ltd, 2002

We give the next three definitions for a theory in which there are only unary and binary function and predicate symbols; but again the method is perfectly general.,
Следующие три определения мы дадим для теории, в которой имеются только унарные и бинарные функциональные и предикатные символы, однако метод опять является вполне общим.
Shoenfield, Joseph / Mathematical LogicШенфилд, Дж. / Математическая логика
Математическая логика
Шенфилд, Дж.
© Перевод на русский язык, Главная редакция физико-математической литературы издательства «Наука», 1975г.
Mathematical Logic
Shoenfield, Joseph
© 1967 by Addison-Wesley publishing company, inc.

For, if we could, then we would have an algorithm or decision procedure for answering all questions whether a formula F in the predicate calculus is valid.
Действительно, если бы это было возможно, то существовал бы алгорифм, или разрешающая процедура, для ответа на вопрос: является ли формула F исчисления предикатов общезначимой.
Kleene, Stephen Cole / Mathematical LogicКлини, С.К. / Математическая логика
Математическая логика
Клини, С.К.
© Перевод на русский язык «Мир», 1973
Mathematical Logic
Kleene, Stephen Cole
© 1967 by Stephen Cole Kleene

As you can see, this predicate combines a comparison operator with a keyword that tells your database system how to apply the operator to the members of the list.
Как можно видеть, этот предикат объединяет оператор сравнения с ключевым словом, которое указывает системе базы данных, как этот оператор применяется к элементам списка.
Viescas, John L.,Hernandez, Michael J. / SQL queries for mere mortals: a hands-on guide to data manipulation in SQLВьескас, Джон Л.,Хернандес, Майкл Дж. / SQL-запросы для простых смертных: Практическое руководство по манипулированию данными в SQL
SQL-запросы для простых смертных: Практическое руководство по манипулированию данными в SQL
Вьескас, Джон Л.,Хернандес, Майкл Дж.
© Издательство "Лори", 2003
© 2000 by Michael J. Hernandez and John L. Viescas
SQL queries for mere mortals: a hands-on guide to data manipulation in SQL
Viescas, John L.,Hernandez, Michael J.
© 2008 Pearson Education, Inc.

This shows us the information we need, at a minimum, to fix the problem - the predicate that caused the error, as well as the SQL error message that accompanies the incorrect predicate.
Этой информации достаточно для решения проблемы (изменения условия, которое привело к выдаче сообщения об ошибке), поскольку, помимо ошибочного условия, имеется сообщение об ошибке в этом условии.
Kyte, Tom / Expert One-on-One OracleКайт, Том / Oracle для профессионалов
Oracle для профессионалов
Кайт, Том
© Перевод на русский язык. ООО «ДиаСофтЮП», 2003
© Wrox Press Ltd, 2002
Expert One-on-One Oracle
Kyte, Tom
© Wrox Press Ltd, 2002

By the replacement lemma, there is a recursive predicate M such that
По лемме о замене существует такой рекурсивный предикат М, что
Shoenfield, Joseph / Mathematical LogicШенфилд, Дж. / Математическая логика
Математическая логика
Шенфилд, Дж.
© Перевод на русский язык, Главная редакция физико-математической литературы издательства «Наука», 1975г.
Mathematical Logic
Shoenfield, Joseph
© 1967 by Addison-Wesley publishing company, inc.

A system in which there is a single basic predicate, and that a binary relation, is called a (binary) relational system.
Система, в которой имеется единственный базисный предикат, являющийся бинарным отношением, называется системой с (бинарным) отношением, или реляционной системой.
Curry, Haskell B. / Foundations of Mathematical LogicКарри, Хаскелл Б. / Основания математической логики
Основания математической логики
Карри, Хаскелл Б.
© Издательство «Мир», 1969
Foundations of Mathematical Logic
Curry, Haskell B.
© 1963 by Haskell B. Curry.
© 1977 by Haskell B. Curry.

Earlier, in the HR example, we demonstrated how to implement a security predicate function that cannot return more than one predicate per session.
Ранее, в примере приложения для работы с информацией о сотрудниках, было продемонстрировано, как реализовать функцию, которая возвращает в ходе сеанса не более одного условия.
Kyte, Tom / Expert One-on-One OracleКайт, Том / Oracle для профессионалов
Oracle для профессионалов
Кайт, Том
© Перевод на русский язык. ООО «ДиаСофтЮП», 2003
© Wrox Press Ltd, 2002
Expert One-on-One Oracle
Kyte, Tom
© Wrox Press Ltd, 2002

Добавить в мой словарь

Predicate1/5

Примеры

He sat down by the window. — Он сел у окна.
Mrs. Barrett mourned for him five lively months at most. — Миссис Беррет оплакивала его самое большее пять полных месяцев.

Переводы пользователей

Часть речи не указана

1.
утверждать; заявлять
Перевод добавил анна елфимова
0

Словосочетания

algebraic predicate

алгебраический предикат

analytic predicate

аналитический предикат

arithmetical predicate

арифметический предикат

atomic predicate

атомный предикат

auxiliary predicate

вспомогательный предикат

basic predicate

базисный предикат

binary predicate

двуместный предикат

bounded predicate

ограниченный предикат

complement of predicate

дополнение предиката

complete predicate

полный предикат

completely defined predicate

полностью определенный предикат

completely representable predicate

полностью представимый предикат

computability predicate

предикат вычислимости

constructive predicate calculus

конструктивное исчисление предикатов

decidable predicate

разрешимый предикат

Формы слова

predicate

verb

Basic forms
Past	predicated
Imperative	predicate
Present Participle (Participle I)	predicating
Past Participle (Participle II)	predicated

Present Indefinite, Active Voice
I predicate	we predicate
you predicate	you predicate
he/she/it predicates	they predicate

Present Continuous, Active Voice
I am predicating	we are predicating
you are predicating	you are predicating
he/she/it is predicating	they are predicating

Present Perfect, Active Voice
I have predicated	we have predicated
you have predicated	you have predicated
he/she/it has predicated	they have predicated

Present Perfect Continuous, Active Voice
I have been predicating	we have been predicating
you have been predicating	you have been predicating
he/she/it has been predicating	they have been predicating

Past Indefinite, Active Voice
I predicated	we predicated
you predicated	you predicated
he/she/it predicated	they predicated

Past Continuous, Active Voice
I was predicating	we were predicating
you were predicating	you were predicating
he/she/it was predicating	they were predicating

Past Perfect, Active Voice
I had predicated	we had predicated
you had predicated	you had predicated
he/she/it had predicated	they had predicated

Past Perfect Continuous, Active Voice
I had been predicating	we had been predicating
you had been predicating	you had been predicating
he/she/it had been predicating	they had been predicating

Future Indefinite, Active Voice
I shall/will predicate	we shall/will predicate
you will predicate	you will predicate
he/she/it will predicate	they will predicate

Future Continuous, Active Voice
I shall/will be predicating	we shall/will be predicating
you will be predicating	you will be predicating
he/she/it will be predicating	they will be predicating

Future Perfect, Active Voice
I shall/will have predicated	we shall/will have predicated
you will have predicated	you will have predicated
he/she/it will have predicated	they will have predicated

Future Perfect Continuous, Active Voice
I shall/will have been predicating	we shall/will have been predicating
you will have been predicating	you will have been predicating
he/she/it will have been predicating	they will have been predicating

Future in the Past Indefinite, Active Voice
I should/would predicate	we should/would predicate
you would predicate	you would predicate
he/she/it would predicate	they would predicate

Future in the Past Continuous, Active Voice
I should/would be predicating	we should/would be predicating
you would be predicating	you would be predicating
he/she/it would be predicating	they would be predicating

Future in the Past Perfect, Active Voice
I should/would have predicated	we should/would have predicated
you would have predicated	you would have predicated
he/she/it would have predicated	they would have predicated

Future in the Past Perfect Continuous, Active Voice
I should/would have been predicating	we should/would have been predicating
you would have been predicating	you would have been predicating
he/she/it would have been predicating	they would have been predicating

Present Indefinite, Passive Voice
I am predicated	we are predicated
you are predicated	you are predicated
he/she/it is predicated	they are predicated

Present Continuous, Passive Voice
I am being predicated	we are being predicated
you are being predicated	you are being predicated
he/she/it is being predicated	they are being predicated

Present Perfect, Passive Voice
I have been predicated	we have been predicated
you have been predicated	you have been predicated
he/she/it has been predicated	they have been predicated

Past Indefinite, Passive Voice
I was predicated	we were predicated
you were predicated	you were predicated
he/she/it was predicated	they were predicated

Past Continuous, Passive Voice
I was being predicated	we were being predicated
you were being predicated	you were being predicated
he/she/it was being predicated	they were being predicated

Past Perfect, Passive Voice
I had been predicated	we had been predicated
you had been predicated	you had been predicated
he/she/it had been predicated	they had been predicated

Future Indefinite, Passive Voice
I shall/will be predicated	we shall/will be predicated
you will be predicated	you will be predicated
he/she/it will be predicated	they will be predicated

Future Perfect, Passive Voice
I shall/will have been predicated	we shall/will have been predicated
you will have been predicated	you will have been predicated
he/she/it will have been predicated	they will have been predicated

predicate

noun

	Singular	Plural
Common case	predicate	predicates
Possessive case	predicate's	predicates'