אנגלית ⇄ אוקראינית איטלקית אנגלית גרמנית דנית הולנדית יוונית יפנית סינית ספרדית פורטוגלית פינית צרפתית רוסית שוודית

predicate logic
כלל.	Prädikatenlogik f
.בינה	Prädikatenkalkül m; Funktionenkalkül m; Quantorenlogik f
.טכנול	Prädikatenlogik 1.Ordnung
.פיזיק	Attributenkalkül n
אנגלית אוצר מילים
predicate logic
.נוֹטָ	quantificational logic (ssn)

predicate logic: 7 צירופים, 2 נושאים

בינה מלאכותית	3
טכנולוגית מידע	4