Terms containing predicates

Subject	English	German
AI.	auxiliary predicate	Hilfsprädikat
AI.	binary predicate	zweistelliges Prädikat
AI.	calculus of predicates	Prädikatenkalkül
AI.	causative predicate	effektives Prädikat
AI.	causative predicate	kausatives Prädikat
AI.	change predicate	Ortsänderungsprädikat
AI.	compound predicate	zusammengesetztes Prädikat
ling.	epistemic predicate	epistemisches Prädikat (ssn)
AI.	extended predicate calculus	erweiterte Quantorenlogik
AI.	extended predicate calculus	Prädikatenlogik höherer Ordnung (Stufe)
AI.	first-order predicate calculus	Prädikatenlogik erster Ordnung (Stufe)
IT	first-order predicate calculus	Prädikatenlogik
IT	first-order predicate calculus	Prädikatenlogik 1.Ordnung
AI.	first-order predicate calculus	Quantorenlogik erster Ordnung (Stufe)
AI.	first-order predicate calculus	Prädikatenkalkül erster Ordnung (Stufe)
IT	first-order predicate logic	Prädikatenlogik 1.Ordnung
IT	first-order predicate logic	Prädikatenlogik
AI.	first-order predicate logic	Quantorenlogik erster Ordnung (Stufe)
AI.	first-order predicate logic	Prädikatenlogik erster Ordnung (Stufe)
AI.	first-order predicate logic	Prädikatenkalkül erster Ordnung (Stufe)
AI.	higher-order predicate calculus	erweiterte Quantorenlogik
AI.	higher-order predicate calculus	Prädikatenlogik höherer Ordnung (Stufe)
AI.	impersonal predicate	unpersönliches Prädikat
AI.	n-place predicate	n-stelliges Prädikat
AI.	one-place predicate	einstelliges Prädikat
AI.	predicate abstraction	Prädikatabstraktion
AI.	predicate calculus	Quantorenlogik
progr.	predicate calculus	Prädikatenkalkül (ssn)
phys.	predicate calculus	Attributenkalkül
AI.	predicate calculus	Funktionenkalkül
IT	predicate calculus	Prädikatenlogik 1.Ordnung
gen.	predicate calculus	Prädikatrechnung
IMF.	predicate crime	zugrundeliegende Straftat
gen.	predicate frames	Prädikatsrahmen
AI.	predicate function	Prädikatfunktion
AI.	predicate logic	Prädikatenkalkül
phys.	predicate logic	Attributenkalkül
IT	predicate logic	Prädikatenlogik 1.Ordnung
AI.	predicate logic	Funktionenkalkül
AI.	predicate logic	Quantorenlogik
tech.	predicate logic	Praedikatenlogik
law	predicate offence	Grunddelikt (Vortat, z.B. bei Geldwäsche)
IMF.	predicate offense money laundering	zugrundeliegende Straftat
AI.	predicate-related	Prädikat...
AI.	predicate token	Prädikatsymbol
AI.	predicate transformer	Prädikatenumformer
busin., IT	predicate/transition net	Prädikat/Transitionsnetz
AI.	primitive-recursive predicate	primitiv-rekursives Prädikat
gen.	rhetorical predicate	rhetorisches Prädikat
IT	second-order predicate calculus	Prädikatenlogik 2.Ordnung
AI.	second-order predicate calculus	Quantorenlogik zweiter Ordnung (Stufe)
AI.	second-order predicate calculus	Prädikatenlogik zweiter Ordnung (Stufe)
AI.	second-order predicate calculus	Prädikatenkalkül zweiter Ordnung (Stufe)
IT	second-order predicate logic	Prädikatenlogik 2.Ordnung
AI.	triggering predicate	Trigger-Prädikat
AI.	Turing-decidable predicate	Tu ring-entscheidbares Prädikat
AI.	two-place predicate	zweistelliges Prädikat
AI.	unary predicate	einstelliges Prädikat
AI.	well-formed formula of the predicate calculus	Formel des Prädikatenkalküls