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

first-order logic
.בינה	Prädikatenkalkül erster Ordnung (Stufe); Prädikatenlogik erster Ordnung (Stufe); Quantorenlogik erster Ordnung (Stufe)
מחש.	Prädikatenkalkül erster Stufe
first order logic
כלל.	Prädikatenlogik der ersten Stufe
.טכנול	Prädikatenlogik 1.Ordnung; Prädikatenlogik f
אנגלית אוצר מילים
first-order logic
.מָתֵי	first-order predicate logic (ssn)

First-order Logic : 7 צירופים, 2 נושאים

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