Je was op zoek naar: predicates (Engels - Spaans)

predicates
predicado

i. key concepts: predicates
i. conceptos básicos: preceptos

the list of type predicates is required.
también es necesaria la lista de predicados de tipo.

lilypond decides by asking the predicates.
¿es "a" 4 en el modo de letra una cadena seguida por un número, o un evento de letra con la duración 4? lilypond lo decide preguntándole a los predicados.

user-defined type predicates are also allowed.
también se permiten los predicados de tipo definidos por el usuario.

for a list of available type predicates, see predefined type predicates.
para ver una lista de los predicados de tipo disponibles, consulte predicados de tipo predefinidos.

some of the most common type predicates used in music functions are:
algunos de los predicados de tipo más comunes que se utilizan en las funciones musicales son:

for a list of available predefined type predicates, see predefined type predicates.
para ver una lista de los predicados de tipo disponibles, consulte predicados de tipo predefinidos.

each type has a number of defined predicates, called "properties".
cada tipo tiene una serie de predicados definidos, llamados "propiedades".

real man and real nature become mere predicates, symbols of this hidden, unreal man and this unreal nature.
el hombre real y la naturaleza real se convierten simplemente en predicados, en símbolos de este irreal hombre escondido y de esta naturaleza irreal.

all rico predicates are suas. 18 u.s.c. § 1956(c)(7)(a).
todos los delitos determinantes de la rico son actividades ilícitas específicas (18 u.s.c. § 1956 c) 7) a)).

==in first order logic==propositional variables are represented as nullary predicates in first order logic.
las variables proposicionales son representadas como predicados 0-arios en lógica de primer orden.

predicate
predicado